Towards eliminating expert creative help in automated reasoning

Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2024

Author dc:creator

• Murali, Adithya

Contributors dc:contributor

• Parthasarathy, Madhusudan
• Viswanathan, Mahesh
• Singh, Gagandeep
• Jhala, Ranjit
• Chaudhuri, Swarat

• Automated Verification
• Automated Reasoning
• Logic
• Creativity Gaps
• Logic Learning
• Formula Synthesis
• Learning For Bridging Creativity Gaps
• Data-driven Logic Learning
• Democratizing Verification
• First-order Logic With Recursive Definitions
• First-order Logic With Least Fixpoints
• Completeness
• Functional Programs
• Refinement Types
• Inductive Lemma Synthesis
• Model-guided Synthesis
• Verification Language Design
• Predictable Verification
• Axiom Synthesis
• Axiom Discovery
• Axiom Learning
• Programming Languages
• Verification
• Smt Solvers

Statement dc:rights

• Copyright 2024 Adithya Murali

Language dc:language

en, eng

Handle dc:identifier

https://hdl.handle.net/2142/127256

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/127256