{"total":15,"rows":[{"id":"2505.13259","title":"From Automation to Autonomy: A Survey on Large Language Models in Scientific Discovery","created":"2025-05-19","cited_by_count":93,"area":null},{"id":"2502.12065","title":"Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions","created":"2025-02-17","cited_by_count":22,"area":null},{"id":"2410.04194","title":"Consistent Autoformalization for Constructing Mathematical Libraries","created":"2024-10-05","cited_by_count":21,"area":null},{"id":"2501.15638","title":"A Comprehensive Survey on Self-Interpretable Neural Networks","created":"2025-01-26","cited_by_count":18,"area":null},{"id":"2510.21302","title":"Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning","created":"2025-10-24","cited_by_count":11,"area":null},{"id":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2602.13237","title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models","created":"2026-01-29","cited_by_count":5,"area":null},{"id":"2506.10704","title":"Formalising Software Requirements using Large Language Models","created":"2025-06-12","cited_by_count":2,"area":null},{"id":"2606.09157","title":"SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance","created":"2026-06-08","cited_by_count":1,"area":null},{"id":"2412.11567","title":"AUEB-Archimedes at RIRAG-2025: Is obligation concatenation really all you need?","created":"2024-12-16","cited_by_count":0,"area":null},{"id":"2503.07279","title":"VizTrust: A Visual Analytics Tool for Capturing User Trust Dynamics in Human-AI Communication","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2506.14627","title":"Working Document -- Formalising Software Requirements with Large Language Models","created":"2025-06-17","cited_by_count":0,"area":null},{"id":"2508.09776","title":"Can LLM-Generated Textual Explanations Enhance Model Classification Performance? An Empirical Study","created":"2025-08-13","cited_by_count":0,"area":null},{"id":"2601.19605","title":"Decompose-and-Formalise: Recursively Verifiable Natural Language Inference","created":"2026-01-27","cited_by_count":0,"area":null},{"id":"2606.20895","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","created":"2026-06-18","cited_by_count":0,"area":null}],"next_cursor":null}