ResearchTrend.AI
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

Sangjun Han
Taeil Hur
Youngmi Hur
Kathy Sangkyung Lee
Myungyoon Lee
Hyojae Lim
ArXivPDFHTML

Papers citing "Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques"

Title
No papers