no code implementations • 31 Jan 2023 • Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radiček, Gust Verbruggen
We evaluate FLAME on formula repair, formula completion, and similarity-based formula retrieval.
3 code implementations • 10 Mar 2016 • Sumit Gulwani, Ivan Radiček, Florian Zuleger
We obtain promising initial results (the average usefulness grade 3. 4 on a scale from 1 to 5), and conclude that our approach can be used in an interactive setting.
Programming Languages