We have 3 of 25 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 presents HarnessSecurity, the first systematic empirical study and benchmark of open- and closed-source coding agent harnesses, and derives a ten-mechanism taxonomy and assesses 400 harness-mechanism cells using independent ratings by researchers and large language model judges.
Cross-chain asset transfer protocols are vital for blockchain interoperability. While many focus on functionality and scalability, privacy is often overlooked. The Payment Channel Hub (PCH) addresses this by offering a centralized service that enables fast, private off-chain cross-chain transactions by obscuring user t...
Pistis is introduced, an agentic, oracle-guided proof search that produces formal Lean proofs that satisfy faithfulness conditions and can accept or refute natural language proofs written by humans or AI, demonstrating that faithful formalization is useful as a proof-checking tool.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
