With this framework, ImProver outperforms SoTA language models (gpt-4o) on proof optimization tasks on undergraduate (MIL), competition (USAMO, IMO), and research-level (Polynomial Freiman-Ruzsa ...
Abstract: Geometric algorithms rely on predicates, among them, the 2D and 3D orientation and incircle tests are important ones. Shewchuk's adaptive floating-point predicate is a well-known C ...
Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...
Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...
This repository contains code for the paper "Fine-Grained Predicates Learning for Scene Graph Generation (CVPR 2022)". This code is based on Scene-Graph-Benchmark.pytorch. News: An extented verison of ...
This software implements fast and guaranteed floating point geometric predicates, including novel indirect predicates as described in the following article: M. Attene. Indirect Predicates for ...
My main line of work is around the state-of-the-art SMT constraint solver Z3 (opens in new tab). Z3 was developed with Leonardo de Moura, Lev Nachmanson and Christoph Wintersteiger. Z3 is used for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback