4 papers
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…
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…
Learning Optical Flow Field via Neural Ordinary Differential Equation
Leyla Mirvakhabova, Hong Cai, Jisoo Jeong +3
Recent works on optical flow estimation use neural networks to predict the flow field that maps positions of one image to positions of the other. These networks consist of a featur…
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…