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
∙
06/15/2023
Infinite Photorealistic Worlds using Procedural Generation
We introduce Infinigen, a procedural generator of photorealistic 3D scen...
research
∙
06/12/2023
On the Temporal-spatial Analysis of Estimating Urban Traffic Patterns Via GPS Trace Data of Car-hailing Vehicles
Car-hailing services have become a prominent data source for urban traff...
research
∙
05/25/2022
Generating Natural Language Proofs with Verifier-Guided Search
Deductive reasoning (drawing conclusions from assumptions) is a challeng...
research
∙
02/25/2022
Bidding Agent Design in the LinkedIn Ad Marketplace
We establish a general optimization framework for the design of automate...
research
∙
11/23/2021
Learning Symbolic Rules for Reasoning in Quasi-Natural Language
Symbolic reasoning, rule-based symbol manipulation, is a hallmark of hum...
research
∙
03/10/2021
A Study of Face Obfuscation in ImageNet
Face obfuscation (blurring, mosaicing, etc.) has been shown to be effect...
research
∙
12/03/2020
Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D
Understanding spatial relations (e.g., "laptop on table") in visual inpu...
research
∙
10/27/2020
Strongly Incremental Constituency Parsing with Graph Neural Networks
Parsing sentences into syntax trees can benefit downstream applications ...
research
∙
12/16/2019
Towards Fairer Datasets: Filtering and Balancing the Distribution of the People Subtree in the ImageNet Hierarchy
Computer vision technology is being used by many but remains representat...
research
∙
08/07/2019
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
Understanding the spatial relations between objects in images is a surpr...
research
∙
05/21/2019
Learning to Prove Theorems via Interacting with Proof Assistants
Humans prove theorems by relying on substantial high-level reasoning and...
research
∙
03/22/2016