LEMMA

Benchmarks archive 2025-07-28

No benchmark for this task in the archive.

Libraries

Not in the archive: the export carries no per-task library table, so there is nothing to show at snapshot 2025-07-28.

Datasets archive 2025-07-28

1 dataset whose archive record lists this task, ordered by the archive's paper count.

Subtasks archive 2025-07-28

No subtask under this task in the archive's task tree.

Most implemented papers archive 2025-07-28

30 shown of 102 papers with code (628 tagged with this task in all), ordered by repositories listed in the archive, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers without a page here are shown as plain text.

• Trust Region Policy Optimisation in Multi-Agent Reinforcement Learning
  23 Sep 2021 11 repositories listed Syntology ran 2 of 5 samples · 3 unverified
  In this paper, we extend the theory of trust region learning to MARL.
• Q-Star Meets Scalable Posterior Sampling: Bridging Theory and Practice via HyperAgent
  5 Feb 2024 3 repositories listed Syntology ran 3 of 7 samples · 4 unverified
  We propose HyperAgent, a reinforcement learning (RL) algorithm based on the hypermodel framework for exploration in RL.
• Deep Generation of Coq Lemma Names Using Elaborated Terms
  16 Apr 2020 3 repositories listed
  Our results show that Roosterize substantially outperforms baselines for suggesting lemma names, highlighting the importance of using multi-input models and elaborated terms.
• UniMorph 2.0: Universal Morphology
  25 Oct 2018 3 repositories listed
  The Universal Morphology UniMorph project is a collaborative effort to improve how NLP handles complex morphology across the world's languages.
• Optimal Projections for Discriminative Dictionary Learning using the JL-lemma
  27 Aug 2023 2 repositories listed
  The dimensionality of such a random projection matrix is a random number that might not lead to a separable subspace structure in the transformed space.
• Adaptive Data-Driven Prediction in a Building Control Hierarchy: A Case Study of Demand Response in Switzerland
  17 Jul 2023 2 repositories listed
  By providing various services, such as Demand Response (DR), buildings can play a crucial role in the energy market due to their significant energy consumption.
• Post-selection inference with HSIC-Lasso
  29 Oct 2020 2 repositories listed
  Detecting influential features in non-linear and/or high-dimensional data is a challenging and increasingly important task in machine learning.
• On the distance between two neural networks and the stability of learning
  9 Feb 2020 2 repositories listed
  This paper relates parameter distance to gradient breakdown for a broad class of nonlinear compositional functions.
• Generalizing to unseen domains via distribution matching
  3 Nov 2019 2 repositories listed Syntology ran 0 of 1 samples · 1 unverified
  In this work, we tackle such problem by focusing on domain generalization: a formalization where the data generating process at test time may yield samples from never-before-seen domains (distributions).
• Deterministic tensor completion with hypergraph expanders
  23 Oct 2019 2 repositories listed
  We provide a novel analysis of low-rank tensor completion based on hypergraph expanders.
• Improving Lemmatization of Non-Standard Languages with Joint Learning
  16 Mar 2019 2 repositories listed
  Lemmatization of standard languages is concerned with (i) abstracting over morphological differences and (ii) resolving token-lemma ambiguities of inflected words in order to map them to a dictionary headword.
• Morphological analysis using a sequence decoder
  21 May 2018 2 repositories listed
  Our Morse implementation and the TrMor2018 dataset are available online to support future research\footnote{See \url{https://github.
• Identifying the Smallest Adversarial Load Perturbations that Render DC-OPF Infeasible
  10 Jul 2025 1 repository listed
  What is the globally smallest load perturbation that renders DC-OPF infeasible?
• Distributed Lyapunov Functions for Nonlinear Networks
  25 Jun 2025 1 repository listed
  In addition, the high dimensionality of the state space prohibits the automated construction of Lyapunov functions using state-of-the-art optimization methods, such as sum-of-squares (SOS) programming.
• Optimization over Sparse Support-Preserving Sets: Two-Step Projection with Global Optimality Guarantees
  10 Jun 2025 1 repository listed Syntology ran 6 of 6 samples · 0 unverified · 6 pointer-only (licence)
  While prior algorithms have been developed to address this complex scenario with mixed combinatorial and convex constraints, they typically require the closed form projection onto the mixed constraints which might not…
• Know When to Abstain: Optimal Selective Classification with Likelihood Ratios
  21 May 2025 1 repository listed
  Selective classification enhances the reliability of predictive models by allowing them to abstain from making uncertain predictions.
• Vulnerability of Transfer-Learned Neural Networks to Data Reconstruction Attacks in Small-Data Regime
  20 May 2025 1 repository listed
  Prior work has shown that an informed adversary with access to released model's weights and all but one training data point can achieve high-quality reconstructions in this way.
• Lean Formalization of Generalization Error Bound by Rademacher Complexity
  25 Mar 2025 1 repository listed
  We formalize the generalization error bound using Rademacher complexity in the Lean 4 theorem prover.
• Flexible WMMSE Beamforming for MU-MIMO Movable Antenna Communications
  22 Mar 2025 1 repository listed
  Movable antennas offer new potential for wireless communication by introducing degrees of freedom in antenna positioning, which has recently been explored for improving sum rates.
• LEMMA: Learning from Errors for MatheMatical Advancement in LLMs
  21 Mar 2025 1 repository listed
  LEMMA constructs data consisting of an incorrect solution with an erroneous step and a reflection connection to a correct solution for fine-tuning.
• TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
  11 Mar 2025 1 repository listed
  TRUST is an open-source software tool developed for data-driven controller synthesis of dynamical systems with unknown mathematical models, ensuring either stability or safety properties.
• Quality Measures for Dynamic Graph Generative Models
  3 Mar 2025 1 repository listed Syntology ran 5 of 5 samples · 0 unverified · 5 pointer-only (licence)
  This results in an expressive, scalar, and application-agnostic measure of dynamic graph similarity that overcomes the limitations of traditional methods.
• Informativity Conditions for Multiple Signals: Properties, Experimental Design, and Applications
  17 Jan 2025 1 repository listed
  In this paper, we introduce three informativity conditions for various types of multi-signal data, each augmented by weight factors.
• A Derivational ChainBank for Modern Standard Arabic
  27 Oct 2024 1 repository listed
  We introduce the new concept of an Arabic Derivational Chain Bank CHAINBANK to leverage the relationship between form and meaning in modeling Arabic derivational morphology.
• Revisiting Multi-Permutation Equivariance through the Lens of Irreducible Representations
  9 Oct 2024 1 repository listed Syntology ran 10 of 10 samples · 0 unverified · 10 pointer-only (licence)
  Using this methodology, we obtain an alternative derivation for existing models like DeepSets, 2-IGN graph equivariant networks, and Deep Weight Space (DWS) networks.
• An Accelerated Algorithm for Stochastic Bilevel Optimization under Unbounded Smoothness
  28 Sep 2024 1 repository listed Syntology ran 3 of 4 samples · 1 unverified
  We prove that our algorithm achieves an oracle complexity of O(1/ϵ³) to find an ϵ-stationary point, when the lower-level stochastic gradient's variance is O(ϵ).
• Learning Deep Dissipative Dynamics
  21 Aug 2024 1 repository listed
  This study challenges strictly guaranteeing ``dissipativity'' of a dynamical system represented by neural networks learned from given time-series data.
• Differentially Private Stochastic Gradient Descent with Fixed-Size Minibatches: Tighter RDP Guarantees with or without Replacement
  19 Aug 2024 1 repository listed
  We also show for the first time that the widely-used Poisson subsampling and FSwoR with replace-one adjacency have the same privacy to leading order in the sampling probability.
• A Unified Confidence Sequence for Generalized Linear Models, with Applications to Bandits
  19 Jul 2024 1 repository listed Syntology ran 1 of 2 samples · 1 unverified · 2 pointer-only (licence)
  We present a unified likelihood ratio-based confidence sequence (CS) for any (self-concordant) generalized linear model (GLM) that is guaranteed to be convex and numerically tight.
• A Unifying Post-Processing Framework for Multi-Objective Learn-to-Defer Problems
  17 Jul 2024 1 repository listed Syntology ran 3 of 7 samples · 4 unverified
  Although there are currently systems that follow this paradigm and are designed to optimize the accuracy of the final human-AI team, the general methodology for developing such systems under a set of constraints (e.

Syntology lines on 9 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. Read from the graph 2026-09-24.