Results 171 to 180 of about 17,772 (305)

Improving the Finite Sample Estimation of Average Treatment Effects Using Double/Debiased Machine Learning With Propensity Score Calibration

Journal of Applied Econometrics, EarlyView.
ABSTRACT Double/debiased machine learning (DML) uses for estimating an average treatment effect (ATE) a double‐robust score function that relies on the prediction of nuisance functions, such as the propensity score, which is the probability of treatment assignment given covariates.
Daniele Ballinari, Nora Bearth
wiley   +1 more source

Symbolic logic and mechanical theorem proving

, 1969
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic.
Lee, Richard Char-Tung, Chang, Chin-Liang   +1 more
core  

Bayesian Model Averaging in Causal Instrumental Variable Models

Journal of Applied Econometrics, EarlyView.
ABSTRACT Instrumental variables are a popular tool to infer causal effects under unobserved confounding, but choosing suitable instruments is challenging in practice. We propose gIVBMA, a Bayesian model averaging procedure that addresses this challenge by averaging across different sets of instrumental variables and covariates in a structural equation ...
Gregor Steiner, Mark Steel
wiley   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Colourings of Uniform Group Divisible Designs and Maximum Packings

Journal of Combinatorial Designs, EarlyView.
ABSTRACT A weak c $c$‐colouring of a design is an assignment of colours to its points from a set of c $c$ available colours, such that there are no monochromatic blocks. A colouring of a design is block‐equitable, if for each block, the number of points coloured with any available pair of colours differ by at most one.
Andrea C. Burgess, Peter Danziger, Diane Donovan, Tara Kemp, James G. Lefevre, David A. Pike, E. Şule Yazıcı   +6 more
wiley   +1 more source

ShZZaM

Proceedings of the International Florida Artificial Intelligence Research Society Conference
This paper describes ShZZaM, a tool that translates natural language to typed first-order logic, using Large Language Models (LLMs) and Automated Theorem Proving (ATP).
Geoff Sutcliffe, Danial Haroon
doaj  

Algebraic Capsets

Journal of Combinatorial Designs, EarlyView.
ABSTRACT Capsets are subsets of F 3 n ${{\mathbb{F}}}_{3}^{n}$ with no three points on a line, and a capset is complete if it is not a subset of a larger capset. We study some new constructions of capsets via algebraic equations over extensions of F 3 ${{\mathbb{F}}}_{3}$.
Cassie Grace, José Felipe Voloch
wiley   +1 more source

Signed Projective Cubes, a Homomorphism Point of View

Journal of Graph Theory, EarlyView.
ABSTRACT The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies.
Meirun Chen, Reza Naserasr, Alessandra Sarti   +2 more
wiley   +1 more source