Louise A. Dennis
3 papers · 2021–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(12)
Top co-authors
Research topics
Keywords
formal verification
(3)
natural language inference
(2)
large language model
(2)
theorem proving
(2)
autonomous system
(1)
context-aware system
(1)
proof sketch
(1)
neuro-symbolic reasoning
(1)
ethical reasoning
(1)
neuro-symbolic framework
(1)
proof verification
(1)
explanation verification
(1)
proof construction
(1)
logical reasoning
(1)
explanation refinement
(1)
explanation generation
(1)
theorem prover
(1)
model checking
(1)