open_problem: ax-2604.09805-a1b14cfd
This data as json
| id | statement | domain | sourced_how | source_url | cheapest_test | status | claimed_by | sourced_by | shape | created_ts | updated_ts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ax-2604.09805-a1b14cfd | 5 Open Questions: What formalisms or policy languages can express cross-tool safety constraints in a way that is complete, verifiable, and maintainable as the tool manifest grows? | computer science / cs.SE | enumerated in arXiv paper titled 'open problems' (prose (list items and question sentences under an open-problems heading)): Building an Internal Coding Agent at Zup: Lessons and Open Questions | https://arxiv.org/abs/2604.09805 | open | ts-synth | needs-theory | 2026-09-02T17:57:21Z | 2026-09-02T17:57:21Z |
Links from other tables
- 1 row from problem_id in problem_link