SOTAVerified

valid

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 2251–2275 of 3589 papers

TitleStatusHype
Necessary and Sufficient Conditions for Surrogate Functions of Pareto Frontiers and Their Synthesis Using Gaussian Processes—0
Necessary and sufficient graphical conditions for optimal adjustment sets in causal graphical models with hidden variables—0
A bi-level encoding scheme for the clustered shortest-path tree problem in multifactorial optimization—0
Analytic solution of chemical master equations involving gene switching. I: Representation theory and diagrammatic approach to exact solution—0
Tree of Knowledge: an Online Platform for Learning the Behaviour of Complex Systems—0
TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners—0
Network-Controlled Repeaters vs. Reconfigurable Intelligent Surfaces for 6G mmW Coverage Extension—0
Network Inference from Temporal-Dependent Grouped Observations—0
Network regression and supervised centrality estimation—0
Network Topology Inference with Graphon Spectral Penalties—0
NeUDF: Leaning Neural Unsigned Distance Fields with Volume Rendering—0
NeuInfer: Knowledge Inference on N-ary Facts—0
Analytical Voltage Sensitivity Analysis for Unbalanced Power Distribution System—0
Analytical Modeling of Nonlinear Fiber Propagation for Four Dimensional Symmetric Constellations—0
Trust Me, I Know the Way: Predictive Uncertainty in the Presence of Shortcut Learning—0
Analysis of Potential Biases and Validity of Studies Using Multiverse Approaches to Assess the Impacts of Government Responses to Epidemics—0
Neural Koopman Control Barrier Functions for Safety-Critical Control of Unknown Nonlinear Systems—0
Analysis of a model for banded vegetation patterns in semi-arid environments with nonlocal dispersal—0
Analysis and Extension of the Evidential Reasoning Algorithm for Multiple Attribute Decision Analysis with Uncertainty—0
Neural Network Branch-and-Bound for Neural Network Verification—0
Neural Networked Assisted Tree Search for the Personnel Rostering Problem—0
An Algorithm for Generating Gap-Fill Multiple Choice Questions of an Expert System—0
Neural Spectro-polarimetric Fields—0
Neural Task Planning with And-Or Graph Representations—0
An Adversarial Approach to Identification—0
Show:102550
← PrevPage 91 of 144Next →

No leaderboard results yet.