Browse State-of-the-Art › LEMMA › Papers, page 2
LEMMA
Papers archive 2025-07-28
archive papers tagged: 628 · with a code link: 102 · where Syntology ran a sample: 18 (17 with a run with no instrument failure, 1 where every run was a failure of Syntology's instrument) Syntology
Show: all tagged papersonly where code ran (18 of 628 tagged: 17 with a run with no instrument failure, 1 where every run was a failure of Syntology's instrument)
Page 2 of 7: papers 101 to 200 of 628, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.
Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.
-
18 Dec 2015 1 repository listed
-
26 Feb 2009 1 repository listed
-
Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation10 Jul 2025 0 repositories listed
-
A Regret Perspective on Online Selective Generation16 Jun 2025 0 repositories listed
-
Learning event-triggered controllers for linear parameter-varying systems from data10 Jun 2025 0 repositories listed
-
Robust Transceiver Design for RIS Enhanced Dual-Functional Radar-Communication with Movable Antenna9 Jun 2025 0 repositories listed
-
Gumbel-max List Sampling for Distribution Coupling with Multiple Samples5 Jun 2025 0 repositories listed
-
Sample-optimal learning of quantum states using gentle measurements30 May 2025 0 repositories listed
-
Why is it easier to predict the epidemic curve than to reconstruct the underlying contact network?29 May 2025 0 repositories listed
-
Efficient Diffusion Models for Symmetric Manifolds27 May 2025 0 repositories listed
-
A packing lemma for VCNₖ-dimension and learning high-dimensional data21 May 2025 0 repositories listed
-
A Local Polyak-Lojasiewicz and Descent Lemma of Gradient Descent For Overparametrized Linear Models16 May 2025 0 repositories listed
-
Data-driven Internal Model Control for Output Regulation14 May 2025 0 repositories listed
-
Bounding Neyman-Pearson Region with f-Divergences13 May 2025 0 repositories listed
-
Euclidean Distance Matrix Completion via Asymmetric Projected Gradient Descent28 Apr 2025 0 repositories listed
-
Building UD Cairo for Old English in the Classroom25 Apr 2025 0 repositories listed
-
Efficient Learning on Large Graphs using a Densifying Regularity Lemma25 Apr 2025 0 repositories listed
-
Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version]11 Apr 2025 0 repositories listed
-
Leveraging Non-Steady-State Frequency-Domain Data in Willems' Fundamental Lemma8 Apr 2025 0 repositories listed
-
Lemmanaid: Neuro-Symbolic Lemma Conjecturing7 Apr 2025 0 repositories listed
-
Nonlinear Multiple Response Regression and Learning of Latent Spaces27 Mar 2025 0 repositories listed
-
Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma26 Mar 2025 0 repositories listed
-
Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement25 Mar 2025 0 repositories listed
-
Inverter Control with Time-Varying and Nonconvex State and Input Constraints14 Mar 2025 0 repositories listed
-
On the Injective Norm of Sums of Random Tensors and the Moments of Gaussian Chaoses13 Mar 2025 0 repositories listed
-
Quantitative Flow Approximation Properties of Narrow Neural ODEs6 Mar 2025 0 repositories listed
-
On the Convergence of Adam-Type Algorithm for Bilevel Optimization under Unbounded Smoothness5 Mar 2025 0 repositories listed
-
On the Dichotomy Between Privacy and Traceability in ℓₚ Stochastic Convex Optimization24 Feb 2025 0 repositories listed
-
Compression Barriers for Autoregressive Transformers21 Feb 2025 0 repositories listed
-
Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective14 Feb 2025 0 repositories listed
-
Residualised Treatment Intensity and the Estimation of Average Partial Effects14 Feb 2025 0 repositories listed
-
A Stochastic Fundamental Lemma with Reduced Disturbance Data Requirements13 Feb 2025 0 repositories listed
-
Data-Enabled Predictive Control for Flexible Spacecraft13 Feb 2025 0 repositories listed
-
Any-stepsize Gradient Descent for Separable Data under Fenchel--Young Losses7 Feb 2025 0 repositories listed
-
Kotlarski's lemma for dyadic models4 Feb 2025 0 repositories listed
-
Gaussian Process-Based Prediction and Control of Hammerstein-Wiener Systems27 Jan 2025 0 repositories listed
-
The Intrinsic State Variable in Fundamental Lemma and Its Use in Stability Design for Data-based Control22 Jan 2025 0 repositories listed
-
No-Regret Linear Bandits under Gap-Adjusted Misspecification9 Jan 2025 0 repositories listed
-
GliLem: Leveraging GliNER for Contextualized Lemmatization in Estonian29 Dec 2024 0 repositories listed
-
Deep Generalized Schrödinger Bridges: From Image Generation to Solving Mean-Field Games28 Dec 2024 0 repositories listed
-
How good is GPT at writing political speeches for the White House?19 Dec 2024 0 repositories listed
-
Disturbance-Adaptive Data-Driven Predictive Control: Trading Comfort Violations for Savings in Building Climate Control12 Dec 2024 0 repositories listed
-
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials10 Dec 2024 0 repositories listed
-
Score Change of Variables10 Dec 2024 0 repositories listed
-
Generating Rectifiable Measures through Neural Networks6 Dec 2024 0 repositories listed
-
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics5 Dec 2024 0 repositories listed
-
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems28 Nov 2024 0 repositories listed
-
ChatGPT as speechwriter for the French presidents27 Nov 2024 0 repositories listed
-
GPT as ghostwriter at the White House27 Nov 2024 0 repositories listed
-
Linear convergence of proximal descent schemes on the Wasserstein space22 Nov 2024 0 repositories listed
-
Sparsifying Suprema of Gaussian Processes22 Nov 2024 0 repositories listed
-
Nonlinear Bayesian Filtering with Natural Gradient Gaussian Approximation21 Oct 2024 0 repositories listed
-
Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles11 Oct 2024 0 repositories listed
-
Improved Sample Complexity for Global Convergence of Actor-Critic Algorithms11 Oct 2024 0 repositories listed
-
Assouad, Fano, and Le Cam with Interaction: A Unifying Lower Bound Framework and Characterization for Bandit Learnability7 Oct 2024 0 repositories listed
-
Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness1 Oct 2024 0 repositories listed
-
On the Implicit Relation Between Low-Rank Adaptation and Differential Privacy26 Sep 2024 0 repositories listed
-
On the Complexity of Neural Computation in Superposition5 Sep 2024 0 repositories listed
-
Characterizing nonlinear systems with mixed input-output properties through dissipation inequalities30 Aug 2024 0 repositories listed
-
Data-enabled Predictive Repetitive Control27 Aug 2024 0 repositories listed
-
Adaptive Backtracking Line Search23 Aug 2024 0 repositories listed
-
On the Approximability of Stationary Processes using the ARMA Model20 Aug 2024 0 repositories listed
-
Efficient Reinforcement Learning in Probabilistic Reward Machines19 Aug 2024 0 repositories listed
-
Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics16 Jul 2024 0 repositories listed
-
FedsLLM: Federated Split Learning for Large Language Models over Communication Networks12 Jul 2024 0 repositories listed
-
Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties9 Jul 2024 0 repositories listed
-
Augmented Bayesian Policy Search5 Jul 2024 0 repositories listed
-
Graphon Particle Systems, Part II: Dynamics of Distributed Stochastic Continuum Optimization3 Jul 2024 0 repositories listed
-
Superconstant Inapproximability of Decision Tree Learning1 Jul 2024 0 repositories listed
-
An Optimal Tightness Bound for the Simulation Lemma24 Jun 2024 0 repositories listed
-
Background results for robust minmax control of linear dynamical systems21 Jun 2024 0 repositories listed
-
Discrete-Time Conewise Linear Systems with Finitely Many Switches18 Jun 2024 0 repositories listed
-
Frequency-Domain Data-Driven Predictive Control18 Jun 2024 0 repositories listed
-
e-COP : Episodic Constrained Optimization of Policies13 Jun 2024 0 repositories listed
-
A Generalized Version of Chung's Lemma and its Applications9 Jun 2024 0 repositories listed
-
LEMMA-RCA: A Large Multi-modal Multi-domain Dataset for Root Cause Analysis8 Jun 2024 0 repositories listed
-
An overview of systems-theoretic guarantees in data-driven model predictive control6 Jun 2024 0 repositories listed
-
Theoretical Guarantees for Variational Inference with Fixed-Variance Mixture of Gaussians6 Jun 2024 0 repositories listed
-
RL in Latent MDPs is Tractable: Online Guarantees via Off-Policy Evaluation3 Jun 2024 0 repositories listed
-
Training-efficient density quantum machine learning30 May 2024 0 repositories listed
-
Laurel: Unblocking Automated Verification with Large Language Models27 May 2024 0 repositories listed
-
An input-output continuous-time version of Willems' lemma24 May 2024 0 repositories listed
-
Deep Ridgelet Transform and Unified Universality Theorem for Deep and Shallow Joint-Group-Equivariant Machines22 May 2024 0 repositories listed
-
A Certified Proof Checker for Deep Neural Network Verification in Imandra17 May 2024 0 repositories listed
-
Restless Linear Bandits17 May 2024 0 repositories listed
-
Lower Bounds for Private Estimation of Gaussian Covariance Matrices under All Reasonable Parameter Regimes26 Apr 2024 0 repositories listed
-
Node Similarities under Random Projections: Limits and Pathological Cases15 Apr 2024 0 repositories listed
-
Farkas' Lemma and Complete Indifference3 Apr 2024 0 repositories listed
-
Convergence Guarantees for RMSProp and Adam in Generalized-smooth Non-convex Optimization with Affine Noise Variance1 Apr 2024 0 repositories listed
-
The LSCD Benchmark: a Testbed for Diachronic Word Meaning Tasks29 Mar 2024 0 repositories listed
-
An invitation to the sample complexity of quantum hypothesis testing26 Mar 2024 0 repositories listed
-
Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control25 Mar 2024 0 repositories listed
-
From Raw Data to Safety: Reducing Conservatism by Set Expansion23 Mar 2024 0 repositories listed
-
Optimal Data-Driven Prediction and Predictive Control using Signal Matrix Models22 Mar 2024 0 repositories listed
-
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code19 Mar 2024 0 repositories listed
-
Horizon-Free Regret for Linear Markov Decision Processes15 Mar 2024 0 repositories listed
-
Exploring the Links between the Fundamental Lemma and Kernel Regression8 Mar 2024 0 repositories listed
-
Level Set Teleportation: An Optimization Perspective5 Mar 2024 0 repositories listed
-
Mirror Descent Algorithms with Nearly Dimension-Independent Rates for Differentially-Private Stochastic Saddle-Point Problems5 Mar 2024 0 repositories listed
Syntology lines on 1 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced; each line links to that paper's sample list. Syntology's record for this page has not changed since , the first build that kept a record date for it; when this build read Syntology's graph is in the build record. For agents: get_harvested_code_for_paper(arxiv_id) lists each paper's samples; how to connect.