conftrace_

program reasoning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

code annotation (1) soft unification (1) variable learning (1) reasoning about program (1) self-refinement mechanism (1) neural network (1) video large language model (1) program semantics (1) adaptive reasoning (1) code understanding (1)

Papers

VideoPro: Adaptive Program Reasoning for Long Video Understanding ACL 2026 Natural Language Annotations for Reasoning about Program Semantics EMNLP 2023 Learning Invariants through Soft Unification NeurIPS 2020