1 citations · 1 across the 9 of their papers we have counts for
3 papers · 1 filter
INSIDE the Student's Mind: Jointly Modeling Latent Reasoning and Action in LLM Student Simulators
Rose Niousha, Minwoo Kang, Narges Norouzi
Large Language Model (LLM)-based simulators often reproduce observable actions but fail to capture the underlying reasoning behind them. In education, where student simulation is i…
Cooperate to Compete: Strategic Coordination in Multi-Agent Conquest
Abigail O'Neill, Alan Zhu, Mihran Miroyan +2
Language Model (LM)-based agents remain largely untested in mixed-motive settings where agents must leverage short-term cooperation for long-term competitive goals (e.g., multi-par…
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu +4
This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language,…