Bibliography

Every reference in the knowledge graph: the bibliographies folios declare (references directories, one folio-reference/v1 node each) and the Dublin Core records of catalogues (catalogue directories), as one list. Each reference sits at references/<key>, the IRI a \cite{key} resolves to.

Export these 267 references: BibTeX · CSL-JSON · RIS · Dublin Core / BIBO JSON-LD

By sub-graph: sci-extracted-references (264) · who-iris-catalogue (3)

Filter references

267 shown

1. (2010). A new mathematics retrieval system.
   arxiv-2604.00554v1.r13 · extracted · doi:10.1145/1871437.1871635 · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r13.json
   export: BibTeX · RIS · CSL-JSON
2. (2020). A Promising Path Towards Autoformalization and General Artificial Intelligence.
   arxiv-2602.16554v1.r15 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r15.json
   export: BibTeX · RIS · CSL-JSON
3. Achiam, Josh; Adler, Steven; Agarwal, Sandhini; et al. (2023). Gpt-4 technical report.
   arxiv-2406.01940v2.r1 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r1.json
   export: BibTeX · RIS · CSL-JSON
4. Adhikari, N.S.; Agarwal, S. (2025). A comparative study of pdf parsing tools across diverse document categories.
   arxiv-2512.09874v3.r1 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r1.json
   export: BibTeX · RIS · CSL-JSON
5. Aguilar, F.D.; Hirata, N.S. (2012). ExpressMatch: A system for creating ground-truthed datasets of online mathematical expressions.
   arxiv-2512.09874v3.r2 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r2.json
   export: BibTeX · RIS · CSL-JSON
6. Albert Qiaochu Jiang; Welleck, Sean; Jin Peng Zhou; et al. (2023). Draft, sketch, and prove: Guiding formal theorem provers with informal proofs.
   arxiv-2406.01940v2.r26 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r26.json
   export: BibTeX · RIS · CSL-JSON
7. Alvaro, F.; Sánchez, J.A.; Benedi, J.M. (2012). Unbiased evaluation of handwritten mathematical expression recognition.
   arxiv-2512.09874v3.r3 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r3.json
   export: BibTeX · RIS · CSL-JSON
8. Alvaro, F.; Zanibbi, R. (2013). A shape-based layout descriptor for classifying spatial relationships in handwritten math.
   arxiv-2003.08005v1.r11 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r11.json
   export: BibTeX · RIS · CSL-JSON
9. Anthropic (2024). Introducing the next generation of claude.
   arxiv-2406.01940v2.r2 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r2.json
   export: BibTeX · RIS · CSL-JSON
10. (2025). Aristotle: IMO-Level Automated Theorem Proving.
    arxiv-2601.22554v1.r1 · extracted · doi:10.48550/arXiv.2510.01346 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r1.json
    export: BibTeX · RIS · CSL-JSON
11. arXiv (2025). arXiv quantum physics submission statistics.
    arxiv-2602.16554v1.r1 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r1.json
    export: BibTeX · RIS · CSL-JSON
12. (2024).
    arxiv-2406.01940v2.r29 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r29.json
    export: BibTeX · RIS · CSL-JSON
13. (2025).
    arxiv-2512.09874v3.r10 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r10.json
    export: BibTeX · RIS · CSL-JSON
14. (2025).
    arxiv-2512.09874v3.r11 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r11.json
    export: BibTeX · RIS · CSL-JSON
15. (2024).
    arxiv-2512.09874v3.r18 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r18.json
    export: BibTeX · RIS · CSL-JSON
16. (2025).
    arxiv-2512.09874v3.r21 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r21.json
    export: BibTeX · RIS · CSL-JSON
17. (2025).
    arxiv-2512.09874v3.r22 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r22.json
    export: BibTeX · RIS · CSL-JSON
18. (2025).
    arxiv-2512.09874v3.r23 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r23.json
    export: BibTeX · RIS · CSL-JSON
19. (2025).
    arxiv-2512.09874v3.r24 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r24.json
    export: BibTeX · RIS · CSL-JSON
20. (2025).
    arxiv-2512.09874v3.r25 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r25.json
    export: BibTeX · RIS · CSL-JSON
21. (2025).
    arxiv-2512.09874v3.r30 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r30.json
    export: BibTeX · RIS · CSL-JSON
22. (2025).
    arxiv-2512.09874v3.r31 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r31.json
    export: BibTeX · RIS · CSL-JSON
23. (2025).
    arxiv-2512.09874v3.r32 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r32.json
    export: BibTeX · RIS · CSL-JSON
24. (2025).
    arxiv-2512.09874v3.r33 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r33.json
    export: BibTeX · RIS · CSL-JSON
25. (1994).
    arxiv-2602.16554v1.r13 · extracted · doi:10.1007/BFb0030541 · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r13.json
    export: BibTeX · RIS · CSL-JSON
26. (2001). Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context.
    arxiv-2003.08005v1.r21 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r21.json
    export: BibTeX · RIS · CSL-JSON
27. Awal, A.M.A.M.; Mouchère, H.; Viard-Gaudin, C. (2009). Towards handwritten mathematical expressions recognition.
    arxiv-2512.09874v3.r4 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r4.json
    export: BibTeX · RIS · CSL-JSON
28. Azerbayev, Zhangir; Schoelkopf, Hailey; Paster, Keiran; et al. (2023). Llemma: An open language model for mathematics.
    arxiv-2406.01940v2.r4 · extracted · doi:10.48550/arXiv.2310.10631 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r4.json
    export: BibTeX · RIS · CSL-JSON
29. Azerbayev, Zhangir; Piotrowski, Bartosz; Schoelkopf, Hailey; et al. (2023). Proofnet: Autoformalizing and formally proving undergraduate-level mathematics.
    arxiv-2406.01940v2.r3 · extracted · doi:10.48550/arXiv.2302.12433 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r3.json
    export: BibTeX · RIS · CSL-JSON
30. Bai, Yuntao; Kadavath, Saurav; Kundu, Sandipan; et al. (2022). Constitutional AI: harmlessness from AI feedback.
    arxiv-2406.01940v2.r5 · extracted · doi:10.48550/arXiv.2212.08073 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r5.json
    export: BibTeX · RIS · CSL-JSON
31. Barras, Bruno; Boutin, Samuel; Cornes, Cristina; et al. (1997). The coq proof assistant : reference manual, version 6.1.
    arxiv-2406.01940v2.r6 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r6.json
    export: BibTeX · RIS · CSL-JSON
32. Barrow, J.; Jain, R.; Morariu, V.; et al. (2020). A joint model for document segmentation and segment labeling.
    arxiv-2604.00554v1.r1 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r1.json
    export: BibTeX · RIS · CSL-JSON
33. Bast, H.; Korzen, C. (2017). A benchmark and evaluation for text extraction from pdf.
    arxiv-2512.09874v3.r5 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r5.json
    export: BibTeX · RIS · CSL-JSON
34. Bauer, Andrej; Petkovic, Matej; Todorovski, Ljupco (2023). MLFMF: data sets for machine learning for mathematical formalization.
    arxiv-2406.01940v2.r7 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r7.json
    export: BibTeX · RIS · CSL-JSON
35. Beck, Marco; Beckenbach, Isabel; Hartmann, Thomas; et al. (2020). Transforming Scanned zbMATH Volumes to LaTeX: Planning the Next Level Digitisation.
    arxiv-2604.00554v1.r2 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r2.json
    export: BibTeX · RIS · CSL-JSON
36. Becker, Lars; de Frutos-Fernández, María Inés; Diedering, Leo; et al. (2025). A Blueprint for the Formalization of Carleson’s Theorem on Convergence of Fourier Series.
    arxiv-2601.22554v1.r2 · extracted · doi:10.48550/arXiv.2405.06423 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r2.json
    export: BibTeX · RIS · CSL-JSON
37. Blecher, L.; Cucurull, G.; Scialom, T.; et al. (2023). Nougat: Neural optical understanding for academic documents.
    arxiv-2604.00554v1.r3 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r3.json
    export: BibTeX · RIS · CSL-JSON
38. Bolan, Matthew; Breitner, Joachim; Brox, Jose; et al. (2025). The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.
    arxiv-2601.22554v1.r3 · extracted · doi:10.48550/arXiv.2512.07087 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r3.json
    export: BibTeX · RIS · CSL-JSON
39. Breen, Benjamin; Marco Del Tredici; McCarran, Jacob; et al. (2025). Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics.
    arxiv-2602.16554v1.r2 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r2.json
    export: BibTeX · RIS · CSL-JSON
40. Breuckmann, Nikolas P; Jens Niklas Eberhardt (2021). Balanced product quantum codes.
    arxiv-2602.16554v1.r3 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r3.json
    export: BibTeX · RIS · CSL-JSON
41. Brown, Tom; Mann, Benjamin; Ryder, Nick; et al. (2020). Language models are few-shot learners.
    arxiv-2604.00554v1.r4 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r4.json
    export: BibTeX · RIS · CSL-JSON
42. Buzzard, Kevin; Taylor, Richard (2023). FLT: An Ongoing Lean Formalisation of the Proof of Fermat’s Last Theorem.
    arxiv-2601.22554v1.r4 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r4.json
    export: BibTeX · RIS · CSL-JSON
43. Cai, Zhaowei; Vasconcelos, Nuno (2018). Cascade r-cnn: Delving into high quality object detection.
    arxiv-2604.00554v1.r5 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r5.json
    export: BibTeX · RIS · CSL-JSON
44. Chao, H.; Fan, J. (2004). Layout and content extraction for PDF documents.
    arxiv-2512.09874v3.r6 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r6.json
    export: BibTeX · RIS · CSL-JSON
45. Chaudhuri, B.; Garain, U. (1998). An approach for processing mathematical expressions in printed document.
    arxiv-2003.08005v1.r19 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r19.json
    export: BibTeX · RIS · CSL-JSON
46. Chen, Jiangjie; Chen, Wenxiang; Du, Jiacheng; et al. (2025). Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience.
    arxiv-2601.22554v1.r5 · extracted · doi:10.48550/arXiv.2512.17260 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r5.json
    export: BibTeX · RIS · CSL-JSON
47. Chen, Jiaqi; Li, Tong; Qin, Jinghui; et al. (2022). Unigeo: Unifying geometry logical reasoning via reformulating mathematical expression.
    arxiv-2406.01940v2.r8 · extracted · doi:10.18653/v1/2022.emnlp-main.218 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r8.json
    export: BibTeX · RIS · CSL-JSON
48. Chen, Luoxin; Gu, Jinming; Huang, Liankai; et al. (2025). Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.
    arxiv-2601.22554v1.r6 · extracted · doi:10.48550/arXiv.2507.23726 · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r6.json
    export: BibTeX · RIS · CSL-JSON
49. Chen, Mark; Tworek, Jerry; Jun, Heewoo; et al. (2021). Evaluating large language models trained on code.
    arxiv-2406.01940v2.r9 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r9.json
    export: BibTeX · RIS · CSL-JSON
50. Christian Szegedy (2020). A promising path towards autoformalization and general artificial intelligence.
    arxiv-2406.01940v2.r51 · extracted · doi:10.1007/978-3-030-53518-6_1 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r51.json
    export: BibTeX · RIS · CSL-JSON
51. Clark, C.; Divvala, S. (2016). Pdffigures 2.0: Mining figures from research papers.
    arxiv-2003.08005v1.r2 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r2.json
    export: BibTeX · RIS · CSL-JSON
52. Clement, C.B.; Bierbaum, M.; O’Keeffe, K.P.; et al. (2019). On the use of arxiv as a dataset.
    arxiv-2604.00554v1.r6 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r6.json
    export: BibTeX · RIS · CSL-JSON
53. Cobbe, Karl; Kosaraju, Vineet; Bavarian, Mohammad; et al. (2021). Training verifiers to solve math word problems.
    arxiv-2406.01940v2.r10 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r10.json
    export: BibTeX · RIS · CSL-JSON
54. Condon, M. (2017). Applying hierarchical contextual parsing with visual density and geometric features to typeset formula recognition.
    arxiv-2003.08005v1.r8 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r8.json
    export: BibTeX · RIS · CSL-JSON
55. Cui, C.; Sun, T.; Lin, M.; et al. (2025). Paddleocr 3.0 technical report.
    arxiv-2512.09874v3.r8 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r8.json
    export: BibTeX · RIS · CSL-JSON
56. Cui, C.; Sun, T.; Liang, S.; et al. (2025). Paddleocr-vl: Boosting multilingual document parsing via a 0.9b ultra-compact vision-language model.
    arxiv-2512.09874v3.r7 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r7.json
    export: BibTeX · RIS · CSL-JSON
57. Davila, K.; Joshi, R.; Setlur, S.; et al..
    arxiv-2003.08005v1.r1 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r1.json
    export: BibTeX · RIS · CSL-JSON
58. Davila, Kenny; Zanibbi, Richard (2017). Layout and Semantics: Combining Representations for Mathematical Formula Search.
    arxiv-2604.00554v1.r7 · extracted · doi:10.1145/3077136.3080748 · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r7.json
    export: BibTeX · RIS · CSL-JSON
59. de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; et al. (2015). The Lean Theorem Prover (System Description).
    arxiv-2601.22554v1.r8 · extracted · doi:10.1007/978-3-319-21401-6_26 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r8.json
    export: BibTeX · RIS · CSL-JSON
60. de Moura, Leonardo; Ullrich, Sebastian (2021). The lean 4 theorem prover and programming language.
    arxiv-2406.01940v2.r12 · extracted · doi:10.1007/978-3-030-79876-5_37 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r12.json
    export: BibTeX · RIS · CSL-JSON
61. de Moura, Leonardo; Ullrich, Sebastian (2021). The Lean 4 Theorem Prover and Programming Language.
    arxiv-2601.22554v1.r7 · extracted · doi:10.1007/978-3-030-79876-5_37 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r7.json
    export: BibTeX · RIS · CSL-JSON
62. de Moura, Leonardo; Ullrich, Sebastian (2021). The Lean 4 Theorem Prover and Programming Language.
    arxiv-2602.16554v1.r11 · extracted · doi:10.1007/978-3-030-79876-5_37 · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r11.json
    export: BibTeX · RIS · CSL-JSON
63. de Moura, Leonardo Mendonça; Kong, Soonho; Avigad, Jeremy; et al. (2015). The lean theorem prover (system description).
    arxiv-2406.01940v2.r13 · extracted · doi:10.1007/978-3-319-21401-6_26 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r13.json
    export: BibTeX · RIS · CSL-JSON
64. Degenne, Rémy; Ledvinka, David; Marion, Etienne; et al. (2025). Formalization of Brownian Motion in Lean.
    arxiv-2601.22554v1.r9 · extracted · doi:10.48550/arXiv.2511.20118 · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r9.json
    export: BibTeX · RIS · CSL-JSON
65. Deng, J.; Dong, W.; Socher, R.; et al. (2009). Imagenet: A large-scale hierarchical image database.
    arxiv-2003.08005v1.r33 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r33.json
    export: BibTeX · RIS · CSL-JSON
66. Deng, Y.; Kanervisto, A.; Ling, J.; et al. (2016).
    arxiv-2003.08005v1.r9 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r9.json
    export: BibTeX · RIS · CSL-JSON
67. Deng, Y.; Kanervisto, A.; Ling, J.; et al. (2017). Image-to-markup generation with coarse-to-fine attention.
    arxiv-2512.09874v3.r9 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r9.json
    export: BibTeX · RIS · CSL-JSON
68. (2022). Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
    arxiv-2602.16554v1.r4 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r4.json
    export: BibTeX · RIS · CSL-JSON
69. Drake, D. M.; Baird, H. S. (2005). Distinguishing mathematics notation from english text using computational geometry.
    arxiv-2003.08005v1.r17 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r17.json
    export: BibTeX · RIS · CSL-JSON
70. (2022). Enhancing optical character recognition on images with mixed text using semantic segmentation.
    arxiv-2604.00554v1.r25 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r25.json
    export: BibTeX · RIS · CSL-JSON
71. (2017). Focal loss for dense object detection.
    arxiv-2003.08005v1.r32 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r32.json
    export: BibTeX · RIS · CSL-JSON
72. Gadgil, Siddhartha; Anand Rao Tadipatri; Agrawal, Ayush; et al. (2022). Towards automating formalisation of theorem statements using large language models.
    arxiv-2406.01940v2.r14 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r14.json
    export: BibTeX · RIS · CSL-JSON
73. Gao, L.; Yi, X.; Liao, Y.; et al. (2017). A deep learning-based formula detection method for pdf documents.
    arxiv-2003.08005v1.r18 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r18.json
    export: BibTeX · RIS · CSL-JSON
74. Gao, Luyu; Dai, Zhuyun; Pasupat, Panupong; et al. (2023). RARR: researching and revising what language models say, using language models.
    arxiv-2406.01940v2.r15 · extracted · doi:10.18653/v1/2023.acl-long.910 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r15.json
    export: BibTeX · RIS · CSL-JSON
75. Garain, U.; Chaudhuri, B. (2000). A syntactic approach for processing mathematical expressions in printed documents.
    arxiv-2003.08005v1.r20 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r20.json
    export: BibTeX · RIS · CSL-JSON
76. Garain, U.; Chaudhuri, B. B. (2007). Ocr of printed mathematical expressions.
    arxiv-2003.08005v1.r14 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r14.json
    export: BibTeX · RIS · CSL-JSON
77. Girshick, R.; Donahue, J.; Darrell, T.; et al. (2014). Rich feature hierarchies for accurate object detection and semantic segmentation.
    arxiv-2003.08005v1.r24 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r24.json
    export: BibTeX · RIS · CSL-JSON
78. Girshick, R. (2015). Fast r-cnn.
    arxiv-2003.08005v1.r25 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r25.json
    export: BibTeX · RIS · CSL-JSON
79. Google DeepMind (2025). Formal Conjectures: A Collection of Formalized Statements of Conjectures in Lean.
    arxiv-2601.22554v1.r10 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r10.json
    export: BibTeX · RIS · CSL-JSON
80. Gou, Zhibin; Shao, Zhihong; Gong, Yeyun; et al. (2023). CRITIC: large language models can self-correct with tool-interactive critiquing.
    arxiv-2406.01940v2.r16 · extracted · doi:10.48550/arXiv.2305.11738 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r16.json
    export: BibTeX · RIS · CSL-JSON
81. Greiner-Petter, André; Schubotz, Moritz; Müller, Fabian; et al. (2020). Discovering Mathematical Objects of Interest—A Study of Mathematical Notations.
    arxiv-2604.00554v1.r8 · extracted · doi:10.1145/3366423.3380218 · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r8.json
    export: BibTeX · RIS · CSL-JSON
82. Gunasekar, Suriya; Zhang, Yi; Aneja, Jyoti; et al. (2023). Textbooks are all you need.
    arxiv-2406.01940v2.r17 · extracted · doi:10.48550/arXiv.2306.11644 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r17.json
    export: BibTeX · RIS · CSL-JSON
83. He, Kaiming; Gkioxari, Georgia; Dollár, Piotr; et al. (2017). Mask r-cnn.
    arxiv-2604.00554v1.r9 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r9.json
    export: BibTeX · RIS · CSL-JSON
84. Hendrycks, Dan; Burns, Collin; Kadavath, Saurav; et al. (2021). Measuring mathematical problem solving with the MATH dataset.
    arxiv-2406.01940v2.r20 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r20.json
    export: BibTeX · RIS · CSL-JSON
85. Hochreiter, S (1997). Long Short-term Memory.
    arxiv-2604.00554v1.r10 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r10.json
    export: BibTeX · RIS · CSL-JSON
86. Hu, E.J.; Shen, Y.; Wallis, P.; et al. (2021). Lora: Low-rank adaptation of large language models.
    arxiv-2604.00554v1.r11 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r11.json
    export: BibTeX · RIS · CSL-JSON
87. Hu, Jiewen; Zhu, Thomas; Welleck, Sean (2025). miniCTX: Neural Theorem Proving with (Long-)Contexts.
    arxiv-2601.22554v1.r11 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r11.json
    export: BibTeX · RIS · CSL-JSON
88. Huang, Daniel; Dhariwal, Prafulla; Song, Dawn; et al. (2019). Gamepad: A learning environment for theorem proving.
    arxiv-2406.01940v2.r21 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r21.json
    export: BibTeX · RIS · CSL-JSON
89. Huang, Dong; Dai, Jianbo; Weng, Han; et al. (2024). Soap: Enhancing efficiency of generated code via self-optimization.
    arxiv-2406.01940v2.r22 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r22.json
    export: BibTeX · RIS · CSL-JSON
90. Huang, J.; Rathod, V.; Sun, C.; et al. (2017). Speed/accuracy trade-offs for modern convolutional object detectors.
    arxiv-2003.08005v1.r28 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r28.json
    export: BibTeX · RIS · CSL-JSON
91. Huang, Lei; Yu, Weijiang; Ma, Weitao; et al. (2023). A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions.
    arxiv-2604.00554v1.r12 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r12.json
    export: BibTeX · RIS · CSL-JSON
92. Huang, Yinya; Lin, Xiaohan; Liu, Zhengying; et al. (2024). MUSTARD: mastering uniform synthesis of theorem and proof data.
    arxiv-2406.01940v2.r23 · extracted · doi:10.48550/arXiv.2402.08957 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r23.json
    export: BibTeX · RIS · CSL-JSON
93. Hubert, Thomas; Mehta, Rishi; Sartran, Laurent; et al. (2025). Olympiad-Level Formal Mathematical Reasoning with Reinforcement Learning.
    arxiv-2601.22554v1.r12 · extracted · doi:10.1038/s41586-025-09833-y · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r12.json
    export: BibTeX · RIS · CSL-JSON
94. Iwatsuki, K.; Sagara, T.; Hara, T.; et al. (2017). Detecting in-line mathematical expressions in scientific documents.
    arxiv-2003.08005v1.r15 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r15.json
    export: BibTeX · RIS · CSL-JSON
95. Jesse Michael Han; Rute, Jason; Wu, Yuhuai; et al. (2022). Proof artifact co-training for theorem proving with language models.
    arxiv-2406.01940v2.r18 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r18.json
    export: BibTeX · RIS · CSL-JSON
96. Jiang, Albert Q.; Sablayrolles, Alexandre; Mensch, Arthur; et al. (2023). Mistral 7b.
    arxiv-2406.01940v2.r25 · extracted · doi:10.48550/arXiv.2310.06825 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r25.json
    export: BibTeX · RIS · CSL-JSON
97. Jiang, Albert Q.; Li, Wenda; Jamnik, Mateja (2023). Multilingual mathematical autoformalization.
    arxiv-2406.01940v2.r24 · extracted · doi:10.48550/arXiv.2311.03755 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r24.json
    export: BibTeX · RIS · CSL-JSON
98. John Harrison (1996). HOL Light: A tutorial introduction.
    arxiv-2406.01940v2.r19 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r19.json
    export: BibTeX · RIS · CSL-JSON
99. Joseph Tooby-Smith (2024). Heplean: Digitalising high energy physics.
    arxiv-2602.16554v1.r18 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r18.json
    export: BibTeX · RIS · CSL-JSON
100. Jung, Jaehun; Qin, Lianhui; Welleck, Sean; et al. (2022). Maieutic prompting: Logically consistent reasoning with recursive explanations.
     arxiv-2406.01940v2.r27 · extracted · doi:10.18653/v1/2022.emnlp-main.82 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r27.json
     export: BibTeX · RIS · CSL-JSON
101. Kontorovich, Alex; Tao, Terence (2024). Prime Number Theorem and More.
     arxiv-2601.22554v1.r13 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r13.json
     export: BibTeX · RIS · CSL-JSON
102. Krizhevsky, A.; Sutskever, I.; Hinton, G.E. (2012). Imagenet classification with deep convolutional neural networks.
     arxiv-2604.00554v1.r15 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r15.json
     export: BibTeX · RIS · CSL-JSON
103. Kruse, T.; Kliche, F. (2021). Definition extraction from mathematical texts on graph theory in German and English.
     arxiv-2604.00554v1.r16 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r16.json
     export: BibTeX · RIS · CSL-JSON
104. Kumar, A.; Wang, L.L. (2024). Uncovering the new accessibility crisis in scholarly PDFs: Publishing model and platform changes contribute to declining scholarly document accessibility in the last decade.
     arxiv-2512.09874v3.r12 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r12.json
     export: BibTeX · RIS · CSL-JSON
105. Kumarappan, Adarsh; Tiwari, Mo; Song, Peiyang; et al. (2025). LeanAgent: Lifelong Learning for Formal Theorem Proving.
     arxiv-2602.16554v1.r5 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r5.json
     export: BibTeX · RIS · CSL-JSON
106. Kwon, Woosuk; Li, Zhuohan; Zhuang, Siyuan; et al. (2023). Efficient memory management for large language model serving with pagedattention.
     arxiv-2406.01940v2.r28 · extracted · doi:10.1145/3600006.3613165 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r28.json
     export: BibTeX · RIS · CSL-JSON
107. Labahn, G.; Lank, E.; MacLean, S.; et al. (2008). MathBrush: A system for doing math on pen-based devices.
     arxiv-2512.09874v3.r13 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r13.json
     export: BibTeX · RIS · CSL-JSON
108. Levenshtein, V.I. (1966). Binary codes capable of correcting deletions, insertions, and reversals.
     arxiv-2512.09874v3.r14 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r14.json
     export: BibTeX · RIS · CSL-JSON
109. Levenshtein, V.I. (1966). Binary codes capable of correcting deletions, insertions, and reversals.
     arxiv-2604.00554v1.r17 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r17.json
     export: BibTeX · RIS · CSL-JSON
110. Li, H.; Dong, Q.; Chen, J.; et al. (2024). Llms-as-judges: A comprehensive survey on llm-based evaluation methods.
     arxiv-2512.09874v3.r15 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r15.json
     export: BibTeX · RIS · CSL-JSON
111. Li, Junlong; Xu, Yiheng; Lv, Tengchao; et al. (2022). Dit: Self-supervised pre-training for document image transformer.
     arxiv-2604.00554v1.r18 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r18.json
     export: BibTeX · RIS · CSL-JSON
112. Li, S.; Huang, J.; Zhuang, J.; et al. (2025). Scilitllm: How to adapt llms for scientific literature understanding.
     arxiv-2512.09874v3.r16 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r16.json
     export: BibTeX · RIS · CSL-JSON
113. Li, Wenda; Yu, Lei; Wu, Yuhuai; et al. (2021). Isarstep: a benchmark for high-level mathematical reasoning.
     arxiv-2406.01940v2.r30 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r30.json
     export: BibTeX · RIS · CSL-JSON
114. Li, Yifei; Lin, Zeqi; Zhang, Shizhuo; et al. (2023). Making language models better reasoners with step-aware verifier.
     arxiv-2406.01940v2.r31 · extracted · doi:10.18653/v1/2023.acl-long.291 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r31.json
     export: BibTeX · RIS · CSL-JSON
115. Li, Z.; Li, Y.; Liang, Q.; et al. (2022). End-to-End Compound Table Understanding with Multi-Modal Modeling.
     arxiv-2604.00554v1.r19 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r19.json
     export: BibTeX · RIS · CSL-JSON
116. Li, Zenan; Wu, Yifan; Li, Zhaoyu; et al. (2024).
     arxiv-2602.16554v1.r6 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r6.json
     export: BibTeX · RIS · CSL-JSON
117. Liao, M.; Shi, B.; Bai, X.; et al. (2017). Textboxes: A fast text detector with a single deep neural network.
     arxiv-2003.08005v1.r29 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r29.json
     export: BibTeX · RIS · CSL-JSON
118. Lightman, Hunter; Kosaraju, Vineet; Burda, Yuri; et al. (2024). Let’s verify step by step.
     arxiv-2406.01940v2.r32 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r32.json
     export: BibTeX · RIS · CSL-JSON
119. Lin, X.; Gao, L.; Tang, Z.; et al. (2011). Mathematical formula identification in pdf documents.
     arxiv-2003.08005v1.r6 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r6.json
     export: BibTeX · RIS · CSL-JSON
120. Lin, X.; Gao, L.; Tang, Z.; et al. (2012). Identification of embedded mathematical formulas in pdf documents using svm.
     arxiv-2003.08005v1.r16 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r16.json
     export: BibTeX · RIS · CSL-JSON
121. Lin, Yong; Tang, Shange; Lyu, Bohan; et al. (2025). Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.
     arxiv-2601.22554v1.r15 · extracted · doi:10.48550/arXiv.2508.03613 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r15.json
     export: BibTeX · RIS · CSL-JSON
122. Lin, Yong; Tang, Shange; Lyu, Bohan; et al. (2025). Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction.
     arxiv-2602.16554v1.r7 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r7.json
     export: BibTeX · RIS · CSL-JSON
123. Lin, Yong; Tang, Shange; Lyu, Bohan; et al. (2025). Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.
     arxiv-2601.22554v1.r14 · extracted · doi:10.48550/arXiv.2502.07640 · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r14.json
     export: BibTeX · RIS · CSL-JSON
124. Liu, Chengwu; Shen, Jianhao; Xin, Huajian; et al. (2023). FIMO: A challenge formal dataset for automated theorem proving.
     arxiv-2406.01940v2.r33 · extracted · doi:10.48550/arXiv.2309.04295 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r33.json
     export: BibTeX · RIS · CSL-JSON
125. Liu, Chengwu; Shen, Jianhao; Xin, Huajian; et al. (2023). Fimo: A challenge formal dataset for automated theorem proving.
     arxiv-2406.01940v2.r34 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r34.json
     export: BibTeX · RIS · CSL-JSON
126. Liu, Junqi; Zhou, Zihao; Zhu, Zekai; et al. (2026). Numina-lean-agent: An open and general agentic reasoning system for formal mathematics.
     arxiv-2602.16554v1.r8 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r8.json
     export: BibTeX · RIS · CSL-JSON
127. Liu, Qi; Zheng, Xinhao; Lu, Xudong; et al. (2025). RETHINKING AND IMPROVING AUTOFORMALIZATION: TOWARDS A FAITHFUL METRIC AND A DEPENDENCY RETRIEVAL-BASED APPROACH.
     arxiv-2602.16554v1.r9 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r9.json
     export: BibTeX · RIS · CSL-JSON
128. Liu, W.; Anguelov, D.; Erhan, D.; et al. (2016). SSD: Single shot multibox detector.
     arxiv-2003.08005v1.r3 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r3.json
     export: BibTeX · RIS · CSL-JSON
129. Liu, Y.; Yuan, X.; Zhang, H.; et al. (2025). Monkeyocr: Document parsing with a structure-recognition-relation triplet paradigm.
     arxiv-2512.09874v3.r17 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r17.json
     export: BibTeX · RIS · CSL-JSON
130. Lo, K.; Wang, L.L.; Neumann, M.; et al. (2020). S2ORC: The semantic scholar open research corpus.
     arxiv-2512.09874v3.r19 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r19.json
     export: BibTeX · RIS · CSL-JSON
131. Lopez, P. (2009). Grobid: Combining automatic bibliographic data recognition and term extraction for scholarship publications.
     arxiv-2512.09874v3.r20 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r20.json
     export: BibTeX · RIS · CSL-JSON
132. Louis Brulé Naudet (2024). Maxine-7B-0401-stock, an xtraordinary 7B model.
     arxiv-2604.00554v1.r22 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r22.json
     export: BibTeX · RIS · CSL-JSON
133. Lu, Jianqiao; Zhong, Wanjun; Huang, Wenyong; et al. (2023). SELF: language-driven self-evolution for large language model.
     arxiv-2406.01940v2.r35 · extracted · doi:10.48550/arXiv.2310.00533 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r35.json
     export: BibTeX · RIS · CSL-JSON
134. Lu, Jianqiao; Dou, Zhiyang; Wang, Hongru; et al. (2024). Autocv: Empowering reasoning with automated process labeling via confidence variation.
     arxiv-2406.01940v2.r36 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r36.json
     export: BibTeX · RIS · CSL-JSON
135. Lu, Jianqiao; Wan, Yingjia; Huang, Yinya; et al. (2024). Formalalign: Automated alignment evaluation for autoformalization.
     arxiv-2406.01940v2.r37 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r37.json
     export: BibTeX · RIS · CSL-JSON
136. Lu, Jianqiao; Zhong, Wanjun; Wang, Yufei; et al. (2024). Yoda: Teacher-student progressive learning for language models.
     arxiv-2406.01940v2.r38 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r38.json
     export: BibTeX · RIS · CSL-JSON
137. Ma, Qianli; Zhou, Haotian; Liu, Tingkai; et al. (2023). Let’s reward step by step: Step-level reward model as the navigators for reasoning.
     arxiv-2406.01940v2.r39 · extracted · doi:10.48550/arXiv.2310.10080 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r39.json
     export: BibTeX · RIS · CSL-JSON
138. Ma, Zhiwei; Santo, Javier E; Lackey, Greg; et al. (2024). Information Extraction from Historical Well Records Using A Large Language Model.
     arxiv-2604.00554v1.r20 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r20.json
     export: BibTeX · RIS · CSL-JSON
139. Mahdavi, M.; Zanibbi, R.; Mouchere, H.; et al. (2019). ICDAR 2019 CROHME + TFD: Competition on recognition of handwritten mathematical expressions and typeset formula detection.
     arxiv-2003.08005v1.r5 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r5.json
     export: BibTeX · RIS · CSL-JSON
140. Mahdavi, M.; Condon, M.; Davila, K.; et al. (2019). LPGA: Line-of-sight parsing with graph-based attention for math formula recognition.
     arxiv-2003.08005v1.r7 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r7.json
     export: BibTeX · RIS · CSL-JSON
141. Mali, P. (2019). Scanning single shot detector for math in document images.
     arxiv-2003.08005v1.r31 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r31.json
     export: BibTeX · RIS · CSL-JSON
142. (2016). Mastering the game of go with deep neural networks and tree search.
     arxiv-2406.01940v2.r50 · extracted · doi:10.1038/nature16961 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r50.json
     export: BibTeX · RIS · CSL-JSON
143. Meiburg, Alex; Lessa, Leonardo A; Soldati, Rodolfo R (2025). A formalization of the generalized quantum stein’s lemma in lean.
     arxiv-2602.16554v1.r10 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r10.json
     export: BibTeX · RIS · CSL-JSON
144. Meta (2024). Introducing meta llama 3: The most capable openly available llm to date.
     arxiv-2406.01940v2.r41 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r41.json
     export: BibTeX · RIS · CSL-JSON
145. Mihaljević, Helena; Santamaría, Lucía (2020). Authorship in top-ranked mathematical and physical journals: Role of gender on self-perceptions and bibliographic evidence.
     arxiv-2604.00554v1.r21 · extracted · doi:10.1162/qss_a_00090 · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r21.json
     export: BibTeX · RIS · CSL-JSON
146. Mikula, Maciej; Antoniak, Szymon; Tworkowski, Szymon; et al. (2023).
     arxiv-2406.01940v2.r42 · extracted · doi:10.48550/arXiv.2303.04488 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r42.json
     export: BibTeX · RIS · CSL-JSON
147. (1952).
     milnorlink.r1 · extracted · source: folio-assistant-sci/extracted-references/milnorlink.r1.json
     export: BibTeX · RIS · CSL-JSON
148. (1945).
     milnorlink.r2 · extracted · source: folio-assistant-sci/extracted-references/milnorlink.r2.json
     export: BibTeX · RIS · CSL-JSON
149. (1953).
     milnorlink.r3 · extracted · source: folio-assistant-sci/extracted-references/milnorlink.r3.json
     export: BibTeX · RIS · CSL-JSON
150. (1932).
     milnorlink.r4 · extracted · source: folio-assistant-sci/extracted-references/milnorlink.r4.json
     export: BibTeX · RIS · CSL-JSON
151. Mukherjee, Subhabrata; Mitra, Arindam; Jawahar, Ganesh; et al. (2023). Orca: Progressive learning from complex explanation traces of GPT-4.
     arxiv-2406.01940v2.r43 · extracted · doi:10.48550/arXiv.2306.02707 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r43.json
     export: BibTeX · RIS · CSL-JSON
152. Murphy, Logan; Yang, Kaiyu; Sun, Jialiang; et al. (2024).
     arxiv-2602.16554v1.r12 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r12.json
     export: BibTeX · RIS · CSL-JSON
153. Nagy, G.; Seth, S. (1984). Hierarchical representation of optically scanned documents.
     arxiv-2003.08005v1.r22 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r22.json
     export: BibTeX · RIS · CSL-JSON
154. Nawrocki, Wojciech; Ayers, Edward W.; Ebner, Gabriel (2023). An extensible user interface for lean 4.
     arxiv-2406.01940v2.r44 · extracted · doi:10.4230/LIPIcs.ITP.2023.24 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r44.json
     export: BibTeX · RIS · CSL-JSON
155. Ohyama, W.; Suzuki, M.; Uchida, S. (2019). Detecting mathematical expressions in scientific document images using a u-net trained on a diverse dataset.
     arxiv-2003.08005v1.r4 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r4.json
     export: BibTeX · RIS · CSL-JSON
156. OpenAI (2023). GPT-3.5 Turbo.
     arxiv-2406.01940v2.r45 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r45.json
     export: BibTeX · RIS · CSL-JSON
157. Ouyang, L.; Qu, Y.; Zhou, H.; et al. (2025). Omnidocbench: Benchmarking diverse pdf document parsing with comprehensive annotations.
     arxiv-2512.09874v3.r26 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r26.json
     export: BibTeX · RIS · CSL-JSON
158. Ouyang, Long; Wu, Jeffrey; Jiang, Xu; et al. (2022). Training language models to follow instructions with human feedback.
     arxiv-2406.01940v2.r46 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r46.json
     export: BibTeX · RIS · CSL-JSON
159. Palm, R.B.; Winther, O.; Laws, F. (2017). Cloudscan: A configuration-free invoice analysis system using recurrent neural networks.
     arxiv-2604.00554v1.r23 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r23.json
     export: BibTeX · RIS · CSL-JSON
160. Pandey, M.; Arora, M.; Arora, S.; et al. (2023). AI-based Integrated Approach for the Development of Intelligent Document Management System (IDMS).
     arxiv-2604.00554v1.r24 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r24.json
     export: BibTeX · RIS · CSL-JSON
161. Papineni, K.; Roukos, S.; Ward, T.; et al. (2002). BLEU: A method for automatic evaluation of machine translation.
     arxiv-2512.09874v3.r27 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r27.json
     export: BibTeX · RIS · CSL-JSON
162. Patrick Massot (2020). leanblueprint: plasTeX Plugin to Build Formalization Blueprints.
     arxiv-2601.22554v1.r16 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r16.json
     export: BibTeX · RIS · CSL-JSON
163. Peng, Zhongyuan; Yao, Yifan; Ma, Kaijing; et al. (2025). CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization.
     arxiv-2602.16554v1.r14 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r14.json
     export: BibTeX · RIS · CSL-JSON
164. Perot, Vincent; Kang, Kai; Luisier, Florian; et al. (2023). Lmdx: Language model-based document information extraction and localization.
     arxiv-2604.00554v1.r26 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r26.json
     export: BibTeX · RIS · CSL-JSON
165. Pfahler, L.; Schill, J.; Morik, K. (2019). The search for equations - learning to identify similarities between mathematical expressions.
     arxiv-2003.08005v1.r13 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r13.json
     export: BibTeX · RIS · CSL-JSON
166. Pfitzmann, B.; Auer, C.; Dolfi, M.; et al. (2022). Doclaynet: A large human-annotated dataset for document-layout analysis.
     arxiv-2512.09874v3.r28 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r28.json
     export: BibTeX · RIS · CSL-JSON
167. Pitou, C.; Diatta, J. (2016). Textual information extraction in document images guided by a concept lattice.
     arxiv-2604.00554v1.r27 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r27.json
     export: BibTeX · RIS · CSL-JSON
168. Poiroux, Auguste; Bosselut, Antoine; Kunčak, Viktor (2025). RLMEval: Evaluating Research-Level Neural Theorem Proving.
     arxiv-2601.22554v1.r17 · extracted · doi:10.48550/arXiv.2510.25427 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r17.json
     export: BibTeX · RIS · CSL-JSON
169. Poznanski, J.; Soldaini, L.; Lo, K. (2025). olmocr 2: Unit test rewards for document ocr.
     arxiv-2512.09874v3.r29 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r29.json
     export: BibTeX · RIS · CSL-JSON
170. Re, Matteo; Valentini, Giorgio (2012).
     arxiv-2604.00554v1.r28 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r28.json
     export: BibTeX · RIS · CSL-JSON
171. Redmon, J.; Divvala, S.; Girshick, R.; et al. (2016). You only look once: Unified, real-time object detection.
     arxiv-2003.08005v1.r27 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r27.json
     export: BibTeX · RIS · CSL-JSON
172. Reichel, Tom; Henderson, R. Wesley; Touchet, Andrew; et al. (2023). Proof repair infrastructure for supervised models: Building a large proof repair dataset.
     arxiv-2406.01940v2.r47 · extracted · doi:10.4230/LIPIcs.ITP.2023.26 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r47.json
     export: BibTeX · RIS · CSL-JSON
173. Rémi Coulom (2006). Efficient selectivity and backup operators in monte-carlo tree search.
     arxiv-2406.01940v2.r11 · extracted · doi:10.1007/978-3-540-75538-8_7 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r11.json
     export: BibTeX · RIS · CSL-JSON
174. Ren, S.; He, K.; Girshick, R.; et al. (2015). Faster r-cnn: Towards real-time object detection with region proposal networks.
     arxiv-2003.08005v1.r26 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r26.json
     export: BibTeX · RIS · CSL-JSON
175. Ren, Shaoqing; He, Kaiming; Girshick, Ross; et al. (2016). Faster R-CNN: Towards real-time object detection with region proposal networks.
     arxiv-2604.00554v1.r29 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r29.json
     export: BibTeX · RIS · CSL-JSON
176. Ren, Z. Z.; Shao, Zhihong; Song, Junxiao; et al. (2025). DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
     arxiv-2601.22554v1.r18 · extracted · doi:10.48550/arXiv.2504.21801 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r18.json
     export: BibTeX · RIS · CSL-JSON
177. (2013). Retrieving documents with mathematical content.
     arxiv-2604.00554v1.r14 · extracted · doi:10.1145/2484028.2484083 · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r14.json
     export: BibTeX · RIS · CSL-JSON
178. Riehl, Emily; Verity, Dominic (2024). Infinity Cosmos: A Blueprint for a Formalization of Infinity-Cosmos Theory in Lean.
     arxiv-2601.22554v1.r19 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r19.json
     export: BibTeX · RIS · CSL-JSON
179. Ronneberger, Olaf; Fischer, Philipp; Brox, Thomas (2015). U-net: Convolutional networks for biomedical image segmentation.
     arxiv-2604.00554v1.r30 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r30.json
     export: BibTeX · RIS · CSL-JSON
180. Sain, K.; Dasgupta, A.; Garain, U. (2011). EMERS: A tree matching-based performance evaluation of mathematical expression recognition systems.
     arxiv-2512.09874v3.r34 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r34.json
     export: BibTeX · RIS · CSL-JSON
181. Schubotz, Moritz; Teschke, Olaf (2019). Four decades of TEX at zbMATH.
     arxiv-2604.00554v1.r31 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r31.json
     export: BibTeX · RIS · CSL-JSON
182. (2023). Self-refine: Iterative refinement with self-feedback.
     arxiv-2406.01940v2.r40 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r40.json
     export: BibTeX · RIS · CSL-JSON
183. Shao, Zhihong; Wang, Peiyi; Zhu, Qihao; et al. (2024). Deepseekmath: Pushing the limits of mathematical reasoning in open language models.
     arxiv-2406.01940v2.r48 · extracted · doi:10.48550/arXiv.2402.03300 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r48.json
     export: BibTeX · RIS · CSL-JSON
184. Shinn, Noah; Cassano, Federico; Gopinath, Ashwin; et al. (2023).
     arxiv-2406.01940v2.r49 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r49.json
     export: BibTeX · RIS · CSL-JSON
185. Siebenschuh, C.; Hippe, K.; Gokdemir, O.; et al. (2025).
     arxiv-2512.09874v3.r35 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r35.json
     export: BibTeX · RIS · CSL-JSON
186. Simonyan, K.; Zisserman, A. (2014). Very deep convolutional networks for large-scale image recognition.
     arxiv-2003.08005v1.r23 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r23.json
     export: BibTeX · RIS · CSL-JSON
187. Soldaini, L.; Kinney, R.; Bhagia, A.; et al. (2024). Dolma: an open corpus of three trillion tokens for language model pretraining research.
     arxiv-2512.09874v3.r36 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r36.json
     export: BibTeX · RIS · CSL-JSON
188. Sun, Y.; Zhou, D.; Lin, C.; et al. (2024).
     arxiv-2604.00554v1.r32 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r32.json
     export: BibTeX · RIS · CSL-JSON
189. Suzuki, M.; Tamari, F.; Fukuda, R.; et al. (2003). Infty: an integrated ocr system for mathematical documents.
     arxiv-2003.08005v1.r30 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r30.json
     export: BibTeX · RIS · CSL-JSON
190. Tang, Z.; Zhang, X.; Wan, B.; et al. (2024). Mathscale: Scaling instruction tuning for mathematical reasoning.
     arxiv-2604.00554v1.r33 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r33.json
     export: BibTeX · RIS · CSL-JSON
191. Tarrach, Guillem; Jiang, Albert Q.; Raggi, Daniel; et al. (2024). More Details, Please: Improving Autoformalization with More Detailed Proofs.
     arxiv-2602.16554v1.r16 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r16.json
     export: BibTeX · RIS · CSL-JSON
192. The Coq Development Team (2024). The Coq Proof Assistant.
     arxiv-2602.16554v1.r17 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r17.json
     export: BibTeX · RIS · CSL-JSON
193. The mathlib Community (2020). The Lean Mathematical Library.
     arxiv-2601.22554v1.r20 · extracted · doi:10.1145/3372885.3373824 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r20.json
     export: BibTeX · RIS · CSL-JSON
194. Tolokin, D.S.; Korobkin, D.M.; Fomenkov, S.A.; et al. (2021). The analysis of the graphical representation of mathematical formulas for extending descriptions of physical effects.
     arxiv-2604.00554v1.r34 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r34.json
     export: BibTeX · RIS · CSL-JSON
195. Uesato, Jonathan; Kushman, Nate; Kumar, Ramana; et al. (2022).
     arxiv-2406.01940v2.r52 · extracted · doi:10.48550/arXiv.2211.14275 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r52.json
     export: BibTeX · RIS · CSL-JSON
196. Ullrich, Sebastian; de Moura, Leonardo (2019). Counting immutable beans: Reference counting optimized for purely functional programming.
     arxiv-2406.01940v2.r53 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r53.json
     export: BibTeX · RIS · CSL-JSON
197. Ullrich, Sebastian; de Moura, Leonardo (2022). ’do’ unchained: embracing local imperativity in a purely functional language (functional pearl).
     arxiv-2406.01940v2.r54 · extracted · doi:10.1145/3547640 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r54.json
     export: BibTeX · RIS · CSL-JSON
198. Ullrich, Sebastian; de Moura, Leonardo (2022). Beyond notations: Hygienic macro expansion for theorem proving languages.
     arxiv-2406.01940v2.r55 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r55.json
     export: BibTeX · RIS · CSL-JSON
199. Varshney, Neeraj; Yao, Wenlin; Zhang, Hongming; et al. (2023). A stitch in time saves nine: Detecting and mitigating hallucinations of llms by validating low-confidence generation.
     arxiv-2604.00554v1.r35 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r35.json
     export: BibTeX · RIS · CSL-JSON
200. Wang, B.; Xu, C.; Zhao, X.; et al. (2024). Mineru: An open-source solution for precise document content extraction.
     arxiv-2512.09874v3.r38 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r38.json
     export: BibTeX · RIS · CSL-JSON
201. Wang, B.; Wu, F.; Ouyang, L.; et al. (2025). Image over text: Transforming formula recognition evaluation with character detection matching.
     arxiv-2512.09874v3.r37 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r37.json
     export: BibTeX · RIS · CSL-JSON
202. Wang, Haiming; Unsal, Mert; Lin, Xiaohan; et al. (2025). Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
     arxiv-2601.22554v1.r21 · extracted · doi:10.48550/arXiv.2504.11354 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r21.json
     export: BibTeX · RIS · CSL-JSON
203. Wang, Peiyi; Li, Lei; Shao, Zhihong; et al. (2023). Math-shepherd: Verify and reinforce llms step-by-step without human annotations.
     arxiv-2406.01940v2.r56 · extracted · doi:10.48550/arXiv.2312.08935 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r56.json
     export: BibTeX · RIS · CSL-JSON
204. Wang, Qingxiang; Kaliszyk, Cezary; Urban, Josef (2018). First experiments with neural translation of informal to formal mathematics.
     arxiv-2406.01940v2.r57 · extracted · doi:10.1007/978-3-319-96812-4_22 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r57.json
     export: BibTeX · RIS · CSL-JSON
205. Wang, Qingxiang; Brown, Chad E.; Kaliszyk, Cezary; et al. (2020). Exploration of neural machine translation in autoformalization of mathematics in mizar.
     arxiv-2406.01940v2.r58 · extracted · doi:10.1145/3372885.3373827 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r58.json
     export: BibTeX · RIS · CSL-JSON
206. Wang, Xuezhi; Wei, Jason; Schuurmans, Dale; et al. (2023). Self-consistency improves chain of thought reasoning in language models.
     arxiv-2406.01940v2.r59 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r59.json
     export: BibTeX · RIS · CSL-JSON
207. Wang, Z.; Liu, J.C. (2019). Translating mathematical formula images to latex sequences using deep neural networks with sequence-level training.
     arxiv-2604.00554v1.r36 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r36.json
     export: BibTeX · RIS · CSL-JSON
208. Wang, Z.; Liu, J.C. (2020). Pdf2latex: A deep learning system to convert mathematical documents from pdf to latex.
     arxiv-2604.00554v1.r37 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r37.json
     export: BibTeX · RIS · CSL-JSON
209. Wang, Z.; Liu, J.C. (2021). Translating math formula images to LaTeX sequences using deep neural networks with sequence-level training.
     arxiv-2512.09874v3.r39 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r39.json
     export: BibTeX · RIS · CSL-JSON
210. Wang, Z.; Liu, J.C. (2021). Translating math formula images to LaTeX sequences using deep neural networks with sequence-level training.
     arxiv-2604.00554v1.r38 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r38.json
     export: BibTeX · RIS · CSL-JSON
211. Wang, Zihan; Li, Yunxuan; Wu, Yuexin; et al. (2024). Multi-step problem solving through a verifier: An empirical analysis on model-induced process supervision.
     arxiv-2406.01940v2.r60 · extracted · doi:10.48550/arXiv.2402.02658 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r60.json
     export: BibTeX · RIS · CSL-JSON
212. Wei, H.; Kong, L.; Chen, J.; et al. (2024). General ocr theory: Towards ocr-2.0 via a unified end-to-end model.
     arxiv-2512.09874v3.r40 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r40.json
     export: BibTeX · RIS · CSL-JSON
213. Wei, H.; Liu, C.; Chen, J.; et al. (2024). General OCR Theory: Towards OCR-2.0 via a Unified End-to-end Model.
     arxiv-2604.00554v1.r39 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r39.json
     export: BibTeX · RIS · CSL-JSON
214. Wei, H.; Sun, Y.; Li, Y. (2025). Deepseek-ocr: Contexts optical compression.
     arxiv-2512.09874v3.r41 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r41.json
     export: BibTeX · RIS · CSL-JSON
215. Wei, Jason; Wang, Xuezhi; Schuurmans, Dale; et al. (2022). Chain-of-thought prompting elicits reasoning in large language models.
     arxiv-2406.01940v2.r61 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r61.json
     export: BibTeX · RIS · CSL-JSON
216. Welleck, Sean; Lu, Ximing; West, Peter; et al. (2023). Generating sequences by learning to self-correct.
     arxiv-2406.01940v2.r62 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r62.json
     export: BibTeX · RIS · CSL-JSON
217. Weng, Ke; Du, Lun; Li, Sirui; et al. (2025). Autoformalization in the Era of Large Language Models: A Survey.
     arxiv-2602.16554v1.r19 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r19.json
     export: BibTeX · RIS · CSL-JSON
218. Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias (2008). The isabelle framework.
     arxiv-2406.01940v2.r63 · extracted · doi:10.1007/978-3-540-71067-7_7 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r63.json
     export: BibTeX · RIS · CSL-JSON
219. Williamson, Dominic J.; Yoder, Theodore J. (2024). Low-overhead fault-tolerant quantum computation by gauging logical operators.
     arxiv-2602.16554v1.r20 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r20.json
     export: BibTeX · RIS · CSL-JSON
220. World Health Organization (2014). WHO handbook for guideline development. World Health Organization.
     9789241548960-eng · catalogue · link · ISBN 9789241548960 · source: who-iris/catalogue/records/9789241548960-eng.dc.json · held: who-iris/library/9789241548960-eng
     export: BibTeX · RIS · CSL-JSON
221. World Health Organization. Regional Office for the Western Pacific (2020). Publication and information products style guide. WHO Regional Office for the Western Pacific.
     wpr-rdo-2020-003-eng · catalogue · link · source: who-iris/catalogue/records/wpr-rdo-2020-003-eng.dc.json · held: who-iris/library/wpr-rdo-2020-003-eng
     export: BibTeX · RIS · CSL-JSON
222. World Health Organization. Technical Publications Unit (1993). WHO editorial style manual. World Health Organization.
     who-pub-tps-931 · catalogue · link · ISBN 8872660203 (ita) · source: who-iris/catalogue/records/who-pub-tps-931.dc.json · held: who-iris/library/who-pub-tps-931
     export: BibTeX · RIS · CSL-JSON
223. Wu, Jeff; Ouyang, Long; Ziegler, Daniel M.; et al. (2021). Recursively summarizing books with human feedback.
     arxiv-2406.01940v2.r64 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r64.json
     export: BibTeX · RIS · CSL-JSON
224. Wu, Yuhuai; Albert Qiaochu Jiang; Li, Wenda; et al. (2022). Autoformalization with large language models.
     arxiv-2406.01940v2.r65 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r65.json
     export: BibTeX · RIS · CSL-JSON
225. Wu, Yuhuai; Jiang, Albert Q.; Li, Wenda; et al. (2022). Autoformalization with Large Language Models.
     arxiv-2602.16554v1.r21 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r21.json
     export: BibTeX · RIS · CSL-JSON
226. Wu, Zeqiu; Hu, Yushi; Shi, Weijia; et al. (2023). Fine-grained human feedback gives better rewards for language model training.
     arxiv-2406.01940v2.r66 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r66.json
     export: BibTeX · RIS · CSL-JSON
227. Xie, Y.; Mouchère, H.; Simistira Liwicki, F.; et al. (2023). ICDAR 2023 CROHME: Competition on recognition of handwritten mathematical expressions.
     arxiv-2512.09874v3.r42 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r42.json
     export: BibTeX · RIS · CSL-JSON
228. Xin, Huajian; Ren, Z. Z.; Song, Junxiao; et al. (2024). DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.
     arxiv-2601.22554v1.r23 · extracted · doi:10.48550/arXiv.2408.08152 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r23.json
     export: BibTeX · RIS · CSL-JSON
229. Xin, Huajian; Guo, Daya; Shao, Zhihong; et al. (2024). DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
     arxiv-2601.22554v1.r22 · extracted · doi:10.48550/arXiv.2405.14333 · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r22.json
     export: BibTeX · RIS · CSL-JSON
230. Xin, Huajian; Guo, Daya; Shao, Zhihong; et al. (2024). Deepseek-prover: Advancing theorem proving in llms through large-scale synthetic data.
     arxiv-2602.16554v1.r22 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r22.json
     export: BibTeX · RIS · CSL-JSON
231. Xiong, Jing; Li, Zixuan; Zheng, Chuanyang; et al. (2023). Dq-lore: Dual queries with low rank approximation re-ranking for in-context learning.
     arxiv-2406.01940v2.r67 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r67.json
     export: BibTeX · RIS · CSL-JSON
232. Xiong, Jing; Shen, Jianhao; Yuan, Ye; et al. (2023). TRIGO: benchmarking formal mathematical proof reduction for generative language models.
     arxiv-2406.01940v2.r68 · extracted · doi:10.18653/v1/2023.emnlp-main.711 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r68.json
     export: BibTeX · RIS · CSL-JSON
233. Xu, Yichen; Odersky, Martin (2026). Agentic Proof Automation: A Case Study.
     arxiv-2602.16554v1.r23 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r23.json
     export: BibTeX · RIS · CSL-JSON
234. Yang, Kaiyu; Deng, Jia (2019). Learning to prove theorems via interacting with proof assistants.
     arxiv-2406.01940v2.r69 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r69.json
     export: BibTeX · RIS · CSL-JSON
235. Yang, Kaiyu; Swope, Aidan M.; Gu, Alex; et al. (2023).
     arxiv-2406.01940v2.r70 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r70.json
     export: BibTeX · RIS · CSL-JSON
236. Yang, Kaiyu; Swope, Aidan M.; Gu, Alex; et al. (2023).
     arxiv-2406.01940v2.r71 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r71.json
     export: BibTeX · RIS · CSL-JSON
237. Yang, Kaiyu; Swope, Aidan; Gu, Alex; et al. (2023). LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
     arxiv-2601.22554v1.r24 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r24.json
     export: BibTeX · RIS · CSL-JSON
238. Yao, Yuxuan; Wu, Han; Guo, Zhijiang; et al. (2024). Learning from correctness without prompting makes llm efficient reasoner.
     arxiv-2406.01940v2.r72 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r72.json
     export: BibTeX · RIS · CSL-JSON
239. Yasunaga, Michihiro; Chen, Xinyun; Li, Yujia; et al. (2023). Large language models as analogical reasoners.
     arxiv-2406.01940v2.r73 · extracted · doi:10.48550/arXiv.2310.01714 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r73.json
     export: BibTeX · RIS · CSL-JSON
240. Ye, Xi; Durrett, Greg (2022). The unreliability of explanations in few-shot prompting for textual reasoning.
     arxiv-2406.01940v2.r74 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r74.json
     export: BibTeX · RIS · CSL-JSON
241. Ying, Huaiyuan; Zhang, Shuo; Li, Linyang; et al. (2024). Internlm-math: Open math large language models toward verifiable reasoning.
     arxiv-2406.01940v2.r76 · extracted · doi:10.48550/arXiv.2402.06332 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r76.json
     export: BibTeX · RIS · CSL-JSON
242. Ying, Huaiyuan; Zhang, Shuo; Li, Linyang; et al. (2024). Internlm-math: Open math large language models toward verifiable reasoning.
     arxiv-2406.01940v2.r77 · extracted · doi:10.48550/arXiv.2402.06332 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r77.json
     export: BibTeX · RIS · CSL-JSON
243. Ying, Huaiyuan; Wu, Zijian; Geng, Yihan; et al. (2024). Lean workbook: A large-scale lean problem set formalized from natural language math problems.
     arxiv-2406.01940v2.r75 · extracted · doi:10.48550/arXiv.2406.03847 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r75.json
     export: BibTeX · RIS · CSL-JSON
244. Yu, Fei; Gao, Anningzhe; Wang, Benyou (2023). Outcome-supervised verifiers for planning in thematical reasoning.
     arxiv-2406.01940v2.r78 · extracted · doi:10.48550/arXiv.2311.09724 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r78.json
     export: BibTeX · RIS · CSL-JSON
245. Yu, Wenhao; Zhang, Zhihan; Liang, Zhenwen; et al. (2023). Improving language models via plug-and-play retrieval feedback.
     arxiv-2406.01940v2.r79 · extracted · doi:10.48550/arXiv.2305.14002 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r79.json
     export: BibTeX · RIS · CSL-JSON
246. Yu, Z.; Lyu, S.; Lu, Y.; et al. (2018). A fusion strategy for the single shot text detector.
     arxiv-2003.08005v1.r34 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r34.json
     export: BibTeX · RIS · CSL-JSON
247. Yuan, Y.; Liu, X.; Dikubab, W.; et al. (2022). Syntax-aware network for handwritten mathematical expression recognition.
     arxiv-2512.09874v3.r43 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r43.json
     export: BibTeX · RIS · CSL-JSON
248. Yuan, Zheng; Yuan, Hongyi; Li, Chengpeng; et al. (2023). Scaling relationship on learning mathematical reasoning with large language models.
     arxiv-2406.01940v2.r80 · extracted · doi:10.48550/arXiv.2308.01825 · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r80.json
     export: BibTeX · RIS · CSL-JSON
249. Zeng, Zhongshen; Liu, Yinhong; Wan, Yingjia; et al. (2024). Mr-ben: A comprehensive meta-reasoning benchmark for large language models.
     arxiv-2406.01940v2.r81 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r81.json
     export: BibTeX · RIS · CSL-JSON
250. Zhang, Hanning; Wang, Ruida; Pan, Rui; et al. (2026). PhysProver: Advancing Automatic Theorem Proving for Physics.
     arxiv-2602.16554v1.r24 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r24.json
     export: BibTeX · RIS · CSL-JSON
251. Zhang, J.; Du, J.; Zhang, S.; et al. (2017). Watch, attend and parse: An end-to-end neural network based approach to handwritten mathematical expression recognition.
     arxiv-2003.08005v1.r12 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r12.json
     export: BibTeX · RIS · CSL-JSON
252. Zhang, J.; Du, J.; Dai, L. (2018). Track, attend, and parse (tap): An end-to-end framework for online handwritten mathematical expression recognition.
     arxiv-2003.08005v1.r10 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2003.08005v1.r10.json
     export: BibTeX · RIS · CSL-JSON
253. Zhang, Lan; Valentino, Marco; Freitas, Andre (2025). Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions.
     arxiv-2602.16554v1.r25 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2602.16554v1.r25.json
     export: BibTeX · RIS · CSL-JSON
254. Zhang, Q.; Wang, B.; Huang, V.S.J.; et al. (2025). Document parsing unveiled: Techniques, challenges, and prospects for structured information extraction.
     arxiv-2512.09874v3.r44 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r44.json
     export: BibTeX · RIS · CSL-JSON
255. Zhang, X.; Zhou, Z.; Ming, C.; et al. (2023). GPT-Assisted Learning of Structure–Property Relationships by Graph Neural Networks: Application to Rare-Earth-Doped Phosphors.
     arxiv-2604.00554v1.r40 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r40.json
     export: BibTeX · RIS · CSL-JSON
256. Zhang, Xiaokai; Zhu, Na; He, Yiming; et al. (2023). Formalgeo: The first step toward human-like imo-level geometric automated reasoning.
     arxiv-2406.01940v2.r82 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r82.json
     export: BibTeX · RIS · CSL-JSON
257. Zheng, Kunhao; Jesse Michael Han; Polu, Stanislas (2021). miniF2F: A Cross-System Benchmark for Formal Olympiad-Level Mathematics.
     arxiv-2601.22554v1.r25 · extracted · doi:10.48550/arXiv.2109.00110 · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r25.json
     export: BibTeX · RIS · CSL-JSON
258. Zheng, Kunhao; Jesse Michael Han; Polu, Stanislas (2022). minif2f: a cross-system benchmark for formal olympiad-level mathematics.
     arxiv-2406.01940v2.r83 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r83.json
     export: BibTeX · RIS · CSL-JSON
259. Zheng, Kunhao; Jesse Michael Han; Polu, Stanislas (2022). minif2f: a cross-system benchmark for formal olympiad-level mathematics.
     arxiv-2406.01940v2.r84 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r84.json
     export: BibTeX · RIS · CSL-JSON
260. Zheng, Sixiao; Lu, Jiachen; Zhao, Hengshuang; et al. (2021).
     arxiv-2604.00554v1.r41 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r41.json
     export: BibTeX · RIS · CSL-JSON
261. Zheng, Yaowei; Zhang, Richong; Zhang, Junhao; et al. (2024). LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models.
     arxiv-2604.00554v1.r42 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r42.json
     export: BibTeX · RIS · CSL-JSON
262. Zhong, X.; Tang, J.; Yepes, A.J. (2019). Publaynet: Largest dataset ever for document layout analysis.
     arxiv-2512.09874v3.r46 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r46.json
     export: BibTeX · RIS · CSL-JSON
263. Zhong, X.; ShafieiBavani, E.; Jimeno Yepes, A. (2020). Image-based table recognition: Data, model, and evaluation.
     arxiv-2512.09874v3.r45 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2512.09874v3.r45.json
     export: BibTeX · RIS · CSL-JSON
264. Zhong, Xu; Tang, Jianbin; Antonio Jimeno Yepes (2019). Publaynet: largest dataset ever for document layout analysis.
     arxiv-2604.00554v1.r43 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r43.json
     export: BibTeX · RIS · CSL-JSON
265. Zhou, Yongchao; Andrei Ioan Muresanu; Han, Ziwen; et al. (2023). Large language models are human-level prompt engineers.
     arxiv-2406.01940v2.r85 · extracted · link · source: folio-assistant-sci/extracted-references/arxiv-2406.01940v2.r85.json
     export: BibTeX · RIS · CSL-JSON
266. Zhu, Thomas; Clune, Joshua; Avigad, Jeremy; et al. (2025). Premise Selection for a Lean Hammer.
     arxiv-2601.22554v1.r26 · extracted · doi:10.48550/arXiv.2506.07477 · link · source: folio-assistant-sci/extracted-references/arxiv-2601.22554v1.r26.json
     export: BibTeX · RIS · CSL-JSON
267. Zhu, Wenzhen; Sokhandan, Negin; Yang, Guang; et al. (2022). DocBed: A multi-stage OCR solution for documents with complex layouts.
     arxiv-2604.00554v1.r44 · extracted · source: folio-assistant-sci/extracted-references/arxiv-2604.00554v1.r44.json
     export: BibTeX · RIS · CSL-JSON