Search papers, labs, and topics across Lattice.
3
0
5
Cycle-consistent neural architectures can generate clear explanations for formal verification certificates, achieving 90% soundness while being 860 times faster than traditional multi-LLM methods.
Turn your planner into a bug-finder: this work shows how to minimally modify planning tasks to expose and eliminate flaws by making the task provably unsolvable.
LLMs can slash grounding time in classical planning by orders of magnitude, simply by sniffing out irrelevant objects and actions *before* the grounding process even starts.
