Cover Image

Autograding Mathematical Induction Proofs with Natural Language Processing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Chenyan, Silva, Mariana, Poulsen, Seth
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Computation and Language Human-Computer Interaction
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Language Models are Few-Shot Graders
by: Zhao, Chenyan, et al.
Published: (2025)

Understand User Opinions of Large Language Models via LLM-Powered In-the-Moment User Experience Interviews
by: Liu, Mengqiao, et al.
Published: (2025)

Adoption of Explainable Natural Language Processing: Perspectives from Industry and Academia on Practices and Challenges
by: Dhaini, Mahdi, et al.
Published: (2025)

Generative User-Experience Research for Developing Domain-specific Natural Language Processing Applications
by: Zhukova, Anastasia, et al.
Published: (2023)

NSP: A Neuro-Symbolic Natural Language Navigational Planner
by: English, William, et al.
Published: (2024)

PleaSQLarify: Visual Pragmatic Repair for Natural Language Database Querying
by: Chan, Robin Shing Moon, et al.
Published: (2026)

EditScribe: Non-Visual Image Editing with Natural Language Verification Loops
by: Chang, Ruei-Che, et al.
Published: (2024)

Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
by: Faghihi, Hossein Rajaby, et al.
Published: (2024)

Your Co-Workers Matter: Evaluating Collaborative Capabilities of Language Models in Blocks World
by: Wu, Guande, et al.
Published: (2024)

"Like a Nesting Doll": Analyzing Recursion Analogies Generated by CS Students using Large Language Models
by: Bernstein, Seth, et al.
Published: (2024)

Olapa-MCoT: Enhancing the Chinese Mathematical Reasoning Capability of LLMs
by: Zhu, Shaojie, et al.
Published: (2023)

Automatic detection of cognitive impairment in elderly people using an entertainment chatbot with Natural Language Processing capabilities
by: de Arriba-Pérez, Francisco, et al.
Published: (2024)

Step Guided Reasoning: Improving Mathematical Reasoning using Guidance Generation and Step Reasoning
by: Cao, Lang, et al.
Published: (2024)

Aptly: Making Mobile Apps from Natural Language
by: Patton, Evan W., et al.
Published: (2024)

Are We Asking the Right Questions? On Ambiguity in Natural Language Queries for Tabular Data Analysis
by: Gomm, Daniel, et al.
Published: (2025)

StressPrompt: Does Stress Impact Large Language Models and Human Performance Similarly?
by: Shen, Guobin, et al.
Published: (2024)

SymbolicThought: Integrating Language Models and Symbolic Reasoning for Consistent and Interpretable Human Relationship Understanding
by: Zhao, Runcong, et al.
Published: (2025)

RNR: Teaching Large Language Models to Follow Roles and Rules
by: Wang, Kuan, et al.
Published: (2024)

Direct Language Model Alignment from Online AI Feedback
by: Guo, Shangmin, et al.
Published: (2024)

Advancing Speech Language Models by Scaling Supervised Fine-Tuning with Over 60,000 Hours of Synthetic Speech Dialogue Data
by: Zhao, Shuaijiang, et al.
Published: (2024)

HealthGenie: Empowering Users with Healthy Dietary Guidance through Knowledge Graph and Large Language Models
by: Gao, Fan, et al.
Published: (2025)

Exploring Communication Strategies for Collaborative LLM Agents in Mathematical Problem-Solving
by: Zhang, Liang, et al.
Published: (2025)

Multi-agent KTO: Reinforcing Strategic Interactions of Large Language Model in Language Game
by: Ye, Rong, et al.
Published: (2025)

LaTA: A Drop-in, FERPA-Compliant Local-LLM Autograder for Upper-Division STEM Coursework
by: Rodríguez, Jesse A.
Published: (2026)

Generative Interfaces for Language Models
by: Chen, Jiaqi, et al.
Published: (2025)

Status Hierarchies in Language Models
by: Barkett, Emilio
Published: (2026)

Characterising the Creative Process in Humans and Large Language Models
by: Nath, Surabhi S., et al.
Published: (2024)

Epistemic Integrity in Large Language Models
by: Ghafouri, Bijean, et al.
Published: (2024)

An Evaluation of Estimative Uncertainty in Large Language Models
by: Tang, Zhisheng, et al.
Published: (2024)

Evaluating the Prompt Steerability of Large Language Models
by: Miehling, Erik, et al.
Published: (2024)

The Art of Saying No: Contextual Noncompliance in Language Models
by: Brahman, Faeze, et al.
Published: (2024)

Autonomous Prompt Engineering in Large Language Models
by: Kepel, Daan, et al.
Published: (2024)

Accounting for Sycophancy in Language Model Uncertainty Estimation
by: Sicilia, Anthony, et al.
Published: (2024)

SteerEval: A Framework for Evaluating Steerability with Natural Language Profiles for Recommendation
by: Zhou, Joyce, et al.
Published: (2026)

Integrating Natural Language Processing and Exercise Monitoring for Early Diagnosis of Metabolic Syndrome: A Deep Learning Approach
by: Zhao, Yichen, et al.
Published: (2025)

Generative AI, Pragmatics, and Authenticity in Second Language Learning
by: Godwin-Jones`, Robert
Published: (2024)

Inertia in Moral and Value Judgments of Large Language Models
by: Lee, Bruce W., et al.
Published: (2024)

Large Language Models and Games: A Survey and Roadmap
by: Gallotta, Roberto, et al.
Published: (2024)

(Ir)rationality and Cognitive Biases in Large Language Models
by: Macmillan-Scott, Olivia, et al.
Published: (2024)

Evaluating Large Language Models in Analysing Classroom Dialogue
by: Long, Yun, et al.
Published: (2024)