Publisher
Springer Nature Switzerland
Reference20 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Colton,2002
2. Cunningham, G., Bunescu, R.C., Juedes, D.: Towards autoformalization of mathematics and code correctness: experiments with elementary proofs (2023)
3. Davis, E., Aaronson, S.: Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems (2023)
4. Fajtlowicz, S.: On conjectures of Graffiti. Ann. Discrete Math. 38, 113–118 (1988)
5. First, E., Rabe, M.N., Ringer, T., Brun, Y.: Baldur: Whole-proof generation and repair with large language models (2023). https://arxiv.org/abs/2303.04910
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AI Assisted Programming;Bridging the Gap Between AI and Reality;2023-12-14