We have 3 of 13 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work introduces GameLogicBench, a benchmark of 72 gameplay-logic tasks in Godot projects, and compared versions of the benchmark evaluator built with and without validation using mutants.
A AegisPath is presented, it replaces centralized verification with distributed witness generation to protect AS-local configurations, decouples witness generation from repeated auditing through a commit-and-prove design, uses zero-knowledge proofs to answer queries without revealing forwarding paths, and supports incr...
RADIANT is an engineering methodology that combines MDE with Multi-Agent Large Language Models (LLMs) for complete model-based system development, with a focus on safety-critical systems and finds that the multi-agent decomposition reliably improves theSyntactic validity of the generated formal artefacts over a single-...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
