Hugging Face's logo

math-ai
Activity Feed

AI & ML interests

reasoning

Recent Activity

yifAI  updated a dataset 10 days ago
math-ai/StackMathQA
yifAI  updated a dataset 10 days ago
math-ai/AutoMathText
yifAI  authored a paper 17 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
View all activity

yifAI 
updated 2 datasets 10 days ago
yifAI 
authored a paper 17 days ago
yifAI 
in math-ai/AutoMathText about 1 month ago

Inquiry About 0-byte Files in data/arxiv/0.90-1.00 Directory

1
#3 opened about 2 months ago by
AshleyLL
yifAI 
authored a paper 2 months ago
yifAI 
updated a dataset 3 months ago
yifAI 
authored a paper 3 months ago
yifAI 
in math-ai/amc23 4 months ago

[bot] Conversion to Parquet
#2 opened 5 months ago by
parquet-converter
yifAI 
in math-ai/TemplateGSM 5 months ago

Minor improvements to dataset card
#2 opened 5 months ago by
nielsr
yifAI 
in math-ai/AutoMathText 5 months ago

Add link to paper
#2 opened 5 months ago by
nielsr
yifAI 
updated a dataset 5 months ago
yifAI 
published a dataset 5 months ago
yifAI 
updated a collection 5 months ago
yifAI 
in math-ai/amc23 5 months ago

Librarian Bot: Add language metadata for dataset
#1 opened 5 months ago by
librarian-bot
yifAI 
updated a dataset 5 months ago
yifAI 
published a dataset 5 months ago
yifAI 
in math-ai/olympiadbench 5 months ago

[bot] Conversion to Parquet
#1 opened 5 months ago by
parquet-converter

Librarian Bot: Add language metadata for dataset
#2 opened 5 months ago by
librarian-bot