Bohan22

Bohan22

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 10 hours ago

Bohan22/AWL_Emulators

published a dataset about 10 hours ago

Bohan22/AWL_Emulators

updated a dataset about 10 hours ago

Bohan22/AWL_Climate_MCQ_Training_Data

View all activity

Organizations

commented 5 papers 4 months ago

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

New activity in Goedel-LM/Goedel-Formalizer-V2-32B 7 months ago

Improve model card: Add title, paper link, project page, library name, pipeline tag and citation

#1 opened 7 months ago by

New activity in unsloth/gpt-oss-20b-BF16 10 months ago

now working on vllm

#5 opened 11 months ago by

New activity in Liontix/Qwen3-8B-Gemini-2.5-Pro-Distill 10 months ago

Apply for the dataset

#1 opened 10 months ago by

New activity in Liontix/Qwen3-8B-Claude-Sonnet-4-Reasoning-Distill-GGUF 10 months ago

Distillation Requests

#1 opened 10 months ago by

New activity in Goedel-LM/MathOlympiadBench 12 months ago

Improve dataset card for MathOlympiadBench: Add metadata, paper, project, and code links

#2 opened 12 months ago by

New activity in Goedel-LM/Goedel-Prover-V2-32B 12 months ago

Improve Model Card: Add pipeline tag and library name

#4 opened 12 months ago by

New activity in Goedel-LM/Goedel-Prover-V2-8B 12 months ago

Improve model card with metadata and additional usage information

#2 opened 12 months ago by

commented a paper 12 months ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Paper • 2508.03613 • Published Aug 5, 2025 • 16 •

commented 2 papers over 1 year ago

SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors

Paper • 2502.11167 • Published Feb 16, 2025 • 10 •

Adapting While Learning: Grounding LLMs for Scientific Problems with Intelligent Tool Usage Adaptation

Paper • 2411.00412 • Published Nov 1, 2024 • 10 •