#natural language processing
6 papers match
AIriskEval-edu Demo: Auditing of Pedagogical Risks in Educational Explanations
Javier Irigoyen, Roberto Daza, Francisco Jurado +5
The paper introduces AIriskEval-edu Demo, a platform that audits the pedagogical quality of K-12 instructional explanations by evaluating five risk dimensions and providing binary…
AutoSynthesis: An agentic system for automated meta-analysis
Moein Taherinezhad, Sebastian Maier, Gerardo Vitagliano +2
AutoSynthesis is a multi‑agent AI system that takes a natural‑language research question and automatically conducts a full quantitative meta‑analysis, from literature search to eff…
Assessing the impact of Open Research Information Infrastructures using NLP driven full-text Scientometrics: A case study of the LXCat open-access platform
Kalp Pandya, Khushi Shah, Nirmal Shah +2
The paper introduces an NLP‑driven full‑text scientometric framework to evaluate the impact of open research information infrastructures, demonstrated on the LXCat open‑access plat…
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
Marcus J. Min, Mike He, Zhaoyu Li +5
The paper proposes shifting autoformalization from isolated statements to theory-level, aiming to automatically translate whole bodies of mathematical knowledge—including axioms, d…
Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement
Chance LaVoie, Eladio Andujar Lugo, Taylan G. Topcu +1
The paper introduces a conformance‑checker‑driven framework that iteratively translates natural‑language descriptions into SysMLv2 models, using a generate‑check‑repair loop to ens…
Faithful Autoformalization of Natural Language Assertions
Hongyi Liu, Madhusudan Parthasarathy, Adithya Murali
The paper introduces Monty, a framework that uses large language models to automatically translate natural‑language specifications into executable Java assertions, improving precis…