agenticNext

non-profit

AI & ML interests

None defined yet.

Recent Activity

aziksh authored a paper 14 days ago

Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs

aziksh authored a paper 14 days ago

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

aziksh authored a paper 14 days ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

View all activity

authored 3 papers 14 days ago

Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMs

Paper • 2610.36767 • Published 16 days ago

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

Paper • 2511.03108 • Published Nov 5, 2025 • 4

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Paper • 2505.05758 • Published May 9, 2025 • 2

authored 2 papers over 1 year ago

A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems

Paper • 2411.18872 • Published Nov 28, 2024 • 1

Dissecting CLIP: Decomposition with a Schur Complement-based Approach

Paper • 2412.18645 • Published Dec 24, 2024 • 1