research
∙
06/27/2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Large language models (LLMs) have shown promise in proving formal theore...
share
research
∙
05/09/2023
StarCoder: may the source be with you!
The BigCode community, an open-scientific collaboration working on the r...
research
∙
01/26/2023
Certified Interpretability Robustness for Class Activation Mapping
Interpreting machine learning models is challenging but crucial for ensu...
research
∙
01/09/2023
SantaCoder: don't reach for the stars!
The BigCode project is an open-scientific collaboration working on the r...
research
∙
10/20/2022
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications
We introduce ObSynth, an interactive system leveraging the domain knowle...
research
∙
03/03/2022
Min-Max Bilevel Multi-objective Optimization with Applications in Machine Learning
This paper is the first to propose a generic min-max bilevel multi-objec...
research
∙
02/03/2022
The Disagreement Problem in Explainable Machine Learning: A Practitioner's Perspective
As various post hoc explanation methods are increasingly being leveraged...
research
∙
02/11/2021