Cover Image

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lourenço, Bruno F., Morgan, Hesham, Ozaki, Ana, Pavlović, Aleksandar, Sallinger, Emanuel
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings
by: Pavlovic, Aleksandar, et al.
Published: (2024)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

Deep Learning as the Disciplined Construction of Tame Objects
by: Bareilles, Gilles, et al.
Published: (2025)

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
by: Neri, Morenikeji, et al.
Published: (2026)

Strong Faithfulness for ELH Ontology Embeddings
by: Lacerda, Victor, et al.
Published: (2023)

Borel selection of dominating hyperplanes
by: Clerico, Eugenio
Published: (2026)

Duality theory in linear optimization and its extensions -- formally verified
by: Dvorak, Martin, et al.
Published: (2024)

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
by: Devadze, Grigory, et al.
Published: (2020)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

Towards Automatic Linearization via SMT Solving
by: Cao, Jian, et al.
Published: (2024)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
by: So, Oswin, et al.
Published: (2026)

An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
by: Neri, Morenikeji, et al.
Published: (2025)

A quantitative Robbins-Siegmund theorem
by: Neri, Morenikeji, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
by: Zhou, Can, et al.
Published: (2026)

Sensitivity-Based Distributed Programming for Non-Convex Optimization
by: von Esch, Maximilian Pierer, et al.
Published: (2025)

Faithful global convergence for the rescaled Consensus-Based Optimization
by: Huang, Hui, et al.
Published: (2025)

Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields
by: Bodirsky, Manuel, et al.
Published: (2022)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)

Facial structure of copositive and completely positive cones over a second-order cone
by: Nishijima, Mitsuhiro, et al.
Published: (2025)

Eigenvalue programming beyond matrices
by: Ito, Masaru, et al.
Published: (2023)

Global Convergence of Control-Based Lagrangian Flows for Non-Convex Optimization
by: Pirrera, Simone, et al.
Published: (2026)

Customized Interior-Point Methods Solver for Embedded Real-Time Convex Optimization
by: Jang, Jae-Il, et al.
Published: (2025)

Distributed Difference of Convex Optimization
by: Khatana, Vivek, et al.
Published: (2024)

Stochastic Differential Dynamic Programming for Trajectory Optimization under Partial Observability
by: Fujiwara, Masahiro, et al.
Published: (2026)

Passivity-Based Local Design Conditions for Global Optimality in Distributed Convex Optimization
by: Jane-Soneira, Pol, et al.
Published: (2025)

A Class of Convex Optimization-Based Recursive Algorithms for Identification of Stochastic Systems
by: Ding, Mingxia, et al.
Published: (2024)

A Unifying Framework for Global Optimization: From Theory to Formalization
by: Serré, Gaëtan, et al.
Published: (2025)

Online Submodular Maximization via Online Convex Optimization
by: Salem, Tareq Si, et al.
Published: (2023)

Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning
by: Dickens, Charles, et al.
Published: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

Tight Long-Term Tail Decay of (Clipped) SGD in Non-Convex Optimization
by: Armacki, Aleksandar, et al.
Published: (2026)

A Penalty-Based Guardrail Algorithm for Non-Decreasing Optimization with Inequality Constraints
by: Stepanovic, Ksenija, et al.
Published: (2024)

Every Call is Precious: Global Optimization of Black-Box Functions with Unknown Lipschitz Constants
by: Fourati, Fares, et al.
Published: (2025)

Projection onto hyperbolicity cones and beyond: a dual Frank-Wolfe approach
by: Nagano, Takayuki, et al.
Published: (2024)

Inner approximations of convex sets and intersections of projectionally exposed cones
by: Lourenço, Bruno F., et al.
Published: (2025)

Stability of Primal-Dual Gradient Flow Dynamics for Multi-Block Convex Optimization Problems
by: Ozaslan, Ibrahim K., et al.
Published: (2024)