Chuxue Cao

chuxuecao's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper about 23 hours ago

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

Paper • 2601.22642 • Published 4 days ago • 8

updated a collection 1 day ago

FLV

Collection

Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" • 5 items • Updated 1 day ago • 1

upvoted a collection 1 day ago

FLV

Collection

Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" • 5 items • Updated 1 day ago • 1

published a model 1 day ago

chuxuecao/FLV-RL-Qwen2.5-14B

Updated 1 day ago • 1

updated a model 1 day ago

chuxuecao/FLV-RL-Qwen2.5-14B

Updated 1 day ago • 1

updated a collection 1 day ago

FLV

Collection

Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" • 5 items • Updated 1 day ago • 1

updated a dataset 1 day ago

chuxuecao/FLV-RL-dataset

Viewer • Updated 1 day ago • 3.85k • 14 • 1

published a dataset 1 day ago

chuxuecao/FLV-RL-dataset

Viewer • Updated 1 day ago • 3.85k • 14 • 1

published a model 1 day ago

chuxuecao/FLV-RL-Qwen2.5-7B

8B • Updated 1 day ago • 26 • 1

updated a model 1 day ago

chuxuecao/FLV-RL-Qwen2.5-7B

8B • Updated 1 day ago • 26 • 1

liked a dataset 1 day ago

chuxuecao/FLV-SFT-dataset

Viewer • Updated 1 day ago • 14.1k • 14 • 2

published a dataset 1 day ago

chuxuecao/FLV-SFT-dataset

Viewer • Updated 1 day ago • 14.1k • 14 • 2

updated a dataset 1 day ago

chuxuecao/FLV-SFT-dataset

Viewer • Updated 1 day ago • 14.1k • 14 • 2

submitted a paper to Daily Papers 1 day ago

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

Paper • 2601.22642 • Published 4 days ago • 8

upvoted a paper 1 day ago

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

Paper • 2601.22642 • Published 4 days ago • 8

authored 2 papers 4 days ago

LRAS: Advanced Legal Reasoning with Agentic Search

Paper • 2601.07296 • Published 22 days ago • 3

MedInsightBench: Evaluating Medical Analytics Agents Through Multi-Step Insight Discovery in Multimodal Medical Data

Paper • 2512.13297 • Published Dec 15, 2025