research
∙
08/29/2023
Improving Neural Ranking Models with Traditional IR Methods
Neural ranking methods based on large transformer models have recently g...
share
research
∙
08/07/2023
A Cross-Domain Evaluation of Approaches for Causal Knowledge Extraction
Causal knowledge extraction is the task of extracting relevant causes an...
research
∙
05/18/2023
Generalized Planning in PDDL Domains with Pretrained Large Language Models
Recent work has considered whether large language models (LLMs) can func...
research
∙
03/02/2023
A Vision for Semantically Enriched Data Science
The recent efforts in automation of machine learning or data science has...
research
∙
01/05/2023
Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Dynamically typed languages such as Python have become very popular. Amo...
research
∙
09/13/2022
Exploring Code Style Transfer with Neural Networks
Style is a significant component of natural language text, reflecting a ...
research
∙
05/16/2022
A Survey on Semantics in Automated Data Science
Data Scientists leverage common sense reasoning and domain knowledge to ...
research
∙
01/28/2022
Large Scale Generation of Labeled Type Data for Python
Recently, dynamically typed languages, such as Python, have gained unpre...
research
∙
11/25/2021
Federated Data Science to Break Down Silos [Vision]
Similar to Open Data initiatives, data science as a community has launch...
research
∙
10/29/2021
A Scalable AutoML Approach Based on Graph Neural Networks
AutoML systems build machine learning models automatically by performing...
research
∙
09/15/2021
Can Machines Read Coding Manuals Yet? – A Benchmark for Building Better Language Models for Code Understanding
Code understanding is an increasingly important application of Artificia...
research
∙
06/07/2021
Learning to Guide a Saturation-Based Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
research
∙
02/21/2020
Graph4Code: A Machine Interpretable Knowledge Graph for Code
Knowledge graphs have proven to be extremely useful in powering diverse ...
research
∙
11/05/2019
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Traditional first-order logic (FOL) reasoning systems usually rely on ma...
research
∙
09/05/2018