Adnan KhanAdnanProduct & AI
San Francisco Bay Area
Get in touch
FIELD NOTES TOPIC

math

1 note, newest first.

  1. MIRA-Math: A Benchmark for Minimal Information Requesting and Mathematical Reasoning

    Source note ·

    The researchers introduce MIRA-Math, a benchmark for testing AI models' ability to ask for and integrate missing facts to solve mathematical problems. The benchmark contains 2310 instances from 22 mathematical families.