🧑‍🔬 Who cites Xin Quan

48 citations of their works from 45 papers of our library (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · ← Xin Quan

1. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
2. Improving Chain-of-Thought Reasoning via Quasi-Symbolic AbstractionsAnnual Meeting of the Association for Computational Linguistics (ACL)Leonardo Ranaldi, Marco Valentino, Andre Freitas2025 · 42 citations
3. From Automation to Autonomy: A Survey on Large Language Models in Scientific DiscoveryConference on Empirical Methods in Natural Language Processing (EMNLP)Tianshi Zheng, Zheye Deng, Hong Ting Tsang, et al.2025 · 39 citations
4. SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.2026 · 22 citations
5. From AI for Science to Agentic Science: A Survey on Autonomous Scientific DiscoveryarXiv:2508.14111Jiaqi Wei, Yuejin Yang, Xiang Zhang, et al.2025 · 19 citations
6. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
7. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen2025 · 14 citations
8. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical DefinitionsConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Marco Valentino, Andre Freitas2025 · 11 citations
9. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
10. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.2025 · 9 citations
11. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language ModelsFindings of the Association for Computational LinguisticsRizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.2026 · 3 citations
12. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
13. Towards Controllable Natural Language Inference through Lexical Inference TypesarXiv:2308.03581Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.2023 · 2 citations
14. GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning CapabilitiesInternational Workshop on Semantic Evaluation (SemEval)Francisco Lopez-Ponce, Lucia Pitarch, Iván Saavedra Martínez, et al.2026 · 1 citation
15. HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective OptimizationInternational Workshop on Semantic Evaluation (SemEval)Abdullah Shaikh, Zain Naqi, Taha Zahid, et al.2026 · 1 citation
16. ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMsInternational Workshop on Semantic Evaluation (SemEval)Wicaksono Leksono Muhamad, Joanito Agili Lopo, Tack Hwa Wong, et al.2026 · 1 citation
17. Lakksh at SemEval-2026 Task 11(1 & 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic ReasoningInternational Workshop on Semantic Evaluation (SemEval)Lakksh Sharma, Krish Sharma, Jatin Bedi2026 · 1 citation
18. YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Yu Wang, You Zhang, Hao Zhang, et al.2026 · 1 citation
19. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
20. Thesis Proposal: Intentional Inference for Insight GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Kristýna Onderková2026
21. YNU-HPCC at SemEval-2026 Task 11: Mitigating Content Effects in Syllogistic Reasoning with Qwen2-1.5B-Instruct and XLM-RoBERTa-Large for English and Multilingual TasksMultilingual TasksInternational Workshop on Semantic Evaluation (SemEval)Rongchuan Luo, Jin Wang, Xuejie Zhang2026

24 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/xin-quan/cited-by/