🔗 Who cites «Teaching Temporal Logics to Neural Networks»

20 papers of our library cite it (of the 149,439 whose bibliographies we read) · 10 with a page here, the most cited first · ← back to «Teaching Temporal Logics to Neural Networks»

1. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
2. LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Mihir Parmar, Nisarg Patel, Neeraj Varshney, et al.2024 · 93 citations
3. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
4. Mathematical Reasoning via Self-supervised Skip-tree TrainingarXiv:2006.04757Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.2020 · 54 citations
5. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
6. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
7. Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
8. Length Generalization in Arithmetic TransformersarXiv:2306.15400Samy Jelassi, Stéphane d'Ascoli, Carles Domingo-Enrich, et al.2023 · 29 citations
9. End-to-end symbolic regression with transformersarXiv:2204.10532Pierre-Alexandre Kamienny, Stéphane d'Ascoli, Guillaume Lample, et al.2022 · 27 citations
10. From Statistical Relational to Neurosymbolic Artificial Intelligence: a SurveyarXiv:2108.11451Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, et al.2021 · 3 citations

10 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/hahn-2020-teaching-temporal-logics-neural-networks/cited-by/