1 citations · 1 across the 10 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
CORGI: Efficient Pattern Matching With Quadratic Guarantees
Daniel Weitekamp
Rule-based systems must solve complex matching problems within tight time constraints to be effective in real-time applications, such as planning and reactive control for AI agents…
cs.AI2025
TutorGym: A Testbed for Evaluating AI Agents as Tutors and Students
Daniel Weitekamp, Momin N. Siddiqui, Christopher J. MacLellan
Recent improvements in large language model (LLM) performance on academic benchmarks, such as MATH and GSM8K, have emboldened their use as standalone tutors and as simulations of h…