164 citations · 291 across the 10 of their papers we have counts for
10 papers
Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction
Serafim Batzoglou
First-order concept synthesis asks a system to infer one formula that classifies labeled objects consistently across several finite relational structures. Every candidate can be ev…
ReplaySCM: A Benchmark for Executable Causal Mechanism Induction from Interventions
Serafim Batzoglou
Most causal benchmarks for language models score local answers or graph structure. We introduce ReplaySCM, a 1,300 item benchmark for executable causal mechanism induction from fin…
Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
Konstantine Arkoudas, Serafim Batzoglou
We introduce ProofGrid, a benchmark suite for evaluating LLM reasoning through machine-checkable proofs rather than final answers alone. ProofGrid contains 15 tasks spanning proof…
INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic
Serafim Batzoglou
We introduce INDUCTION, a benchmark for finite structure concept synthesis in first order logic. Given small finite relational worlds with extensionally labeled target predicates,…
ABD: Default Exception Abduction in Finite First Order Worlds
Serafim Batzoglou
We introduce ABD, a benchmark for default-exception abduction over finite first-order worlds. Given a background theory with an abnormality predicate and a set of relational struct…
Independence of the Continuum Hypothesis: an Intuitive Introduction
Serafim Batzoglou
The independence of the continuum hypothesis is a result of broad impact: it settles a basic question regarding the nature of N and R, two of the most familiar mathematical structu…
Goedel's Incompleteness Theorem
Serafim Batzoglou
I present the proof of Goedel's First Incompleteness theorem in an intuitive manner, while covering all technically challenging steps. I present generalizations of Goedel's fixed p…
Network Enhancement: a general method to denoise weighted biological networks
Bo Wang, Armin Pourshafeie, Marinka Zitnik +4
Networks are ubiquitous in biology where they encode connectivity patterns at all scales of organization, from molecular to the biome. However, biological networks are noisy due to…
SIMLR: A Tool for Large-Scale Genomic Analyses by Multi-Kernel Learning
Bo Wang, Daniele Ramazzotti, Luca De Sano +3
We here present SIMLR (Single-cell Interpretation via Multi-kernel LeaRning), an open-source tool that implements a novel framework to learn a sample-to-sample similarity measure f…
Fast and Scalable Inference of Multi-Sample Cancer Lineages
Victoria Popic, Raheleh Salari, Iman Hajirasouliha +3
Somatic variants can be used as lineage markers for the phylogenetic reconstruction of cancer evolution. Since somatic phylogenetics is complicated by sample heterogeneity, novel s…