open_problem: ax-2607.04129-02d02142
This data as json
| id | statement | domain | sourced_how | source_url | cheapest_test | status | claimed_by | sourced_by | shape | created_ts | updated_ts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ax-2607.04129-02d02142 | V Open Problems: For Practitioners: (PP2) Enforcing the implementation–model contract: How can the implementation be shaped so that it faithfully realizes the theoretical task model? | computer science / cs.SE | enumerated in arXiv paper titled 'open problems' (prose (list items and question sentences under an open-problems heading)): Toward the Right Analytical Model and System Software for Autonomous Driving Systems: Open Problems and Research Directi | https://arxiv.org/abs/2607.04129 | 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