This research introduces ProofSketcher, a hybrid system that merges Large Language Models with a lightweight trusted kernel to ensure logical correctness in ...
Level: advanced
By Kranthi Kommuru, Kunal Khanvilkar, Gaurav Parekh
Category: research