23 citations · 130 across the 27 of their papers we have counts for
4 papers · 1 filter
LakeBench: Benchmarks for Data Discovery over Data Lakes
Kavitha Srinivas, Julian Dolby, Ibrahim Abdelaziz +6
Within enterprises, there is a growing need to intelligently navigate data lakes, specifically focusing on data discovery. Of particular importance to enterprises is the ability to…
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Keerthiram Murugesan, Sarathkrishna Swaminathan, Soham Dan +9
With the growing interest in large language models, the need for evaluating the quality of machine text compared to reference (typically human-generated) text has become focal atte…
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse +5
Using reinforcement learning for automated theorem proving has recently received much attention. Current approaches use representations of logical statements that often rely on the…
Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Wenting Zhao, Ibrahim Abdelaziz, Julian Dolby +3
Dynamically typed languages such as Python have become very popular. Among other strengths, Python's dynamic nature and its straightforward linking to native code have made it the…