3 papers
cs.SE2026
CAPRI: Contract-Aware Proof Repair for Isabelle
Jim Woodcock, Gabriel Leite, Augusto Sampaio +1
We address the use of large language models (LLMs) to help discover Isabelle proofs. An Isabelle build establishes that the submitted theory is accepted, but not that an LLM change…
cs.CV2026
SciFlow: Semantic Cross Interference for Self-Supervised Optical Flow Domain Generalization
Jamie Menjay Lin, Jisoo Jeong, Hong Cai +2
Motions of objects and scenes carry essential intelligence in video understanding, offering rich cues for interpreting dynamic settings and interactions. Due to the cost and scarci…
cs.CV2025
Improving Optical Flow and Stereo Depth Estimation by Leveraging Uncertainty-Based Learning Difficulties
Jisoo Jeong, Hong Cai, Jamie Menjay Lin +1
Conventional training for optical flow and stereo depth models typically employs a uniform loss function across all pixels. However, this one-size-fits-all approach often overlooks…