A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Publications
Date
Featured collections
Popular topics
22 results for Kavitha Srinivas
Generalized Planning in PDDL Domains with Pretrained Large Language Models
- Tom Silver
- Soham Dan
- et al.
- 2024
- AAAI 2024
A Scalable AutoML Approach Based on Graph Neural Networks
- Mossad Helali
- Essam Mansour
- et al.
- 2022
- VLDB 2022
Unsupervised Causal Knowledge Extraction from Text using Natural Language Inference
- Manik Bhandari
- Mark Feblowitz
- et al.
- 2021
- AAAI 2021
CodeStylist: A System for Performing Code Style Transfer Using Neural Networks
- Chih-kai Ting
- Karl Munson
- et al.
- 2023
- AAAI 2023
DataRinse: Semantic Transforms for Data preparation based on Code Mining
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2023
- VLDB 2023
Semantic Feature Discovery with Code Mining and Semantic Type Detection
- Kavitha Srinivas
- Takaaki Tateishi
- et al.
- 2022
- AAAI 2022
TabSketchFM: Sketch-based Tabular Representation Learning for Data Discovery over Data Lakes
- Aamod Khatiwada
- Harsha Kokel
- et al.
- 2024
- NeurIPS 2024
Thought of Search: Planning with Language Models Through The Lens of Efficiency
- Michael Katz
- Harsha Kokel
- et al.
- 2024
- NeurIPS 2024
Automating Thought of Search: A Journey Towards Soundness and Completeness
- Daniel Cao
- Michael Katz
- et al.
- 2024
- NeurIPS 2024