yusuke1997/dblp-id-title huggingface dataset:
Expressivity of Representation Learning on Continuous-Time Dynamic Graphs: An Information-Flow Centric Review
Exact Fractional Inference via Re-Parametrization & Interpolation between Tree-Re-Weighted- and Belief Propagation- Algorithms
Compressed Decentralized Momentum Stochastic Gradient Methods for Nonconvex Optimization
A Self-Explainable Heterogeneous GNN for Relational Deep Learning
Inherent Limits on Topology-Based Link Prediction
Algorithm Configuration for Structured Pfaffian Settings
An Expanded Benchmark that Rediscovers and Affirms the Edge of Uncertainty Sampling for Active Learning in Tabular Datasets
A Learning-Based Framework for Fair and Scalable Solution Generation in Kidney Exchange Problems
Scalable Generative Modeling of Weighted Graphs
Continual Learning from Simulated Interactions via Multitask Prospective Rehearsal for Bionic Limb Behavior Modeling
Private Regression via Data-Dependent Sufficient Statistic Perturbation
Integrating Bayesian Network Structure into Residual Flows and Variational Autoencoders
Policy Gradient Algorithms Implicitly Optimize by Continuation
Fairness via In-Processing in the Over-parameterized Regime: A Cautionary Tale with MinDiff Loss
Jigsaw Game: Federated Clustering
Multiscale Causal Structure Learning
Mixture of Cache-Conditional Experts for Efficient Mobile Device Inference
Preferential Multi-Objective Bayesian Optimization
Reinforcement Learning with Delayed, Composite, and Partially Anonymous Reward
Mitigating Real-World Distribution Shifts in the Fourier Domain
Model Tampering Attacks Enable More Rigorous Evaluations of LLM Capabilities
Faster optimal univariate microaggregation
An Empirical Study of Pre-trained Model Selection for Out-of-Distribution Generalization and Calibration
Rethinking Spectral Augmentation for Contrast-based Graph Self-Supervised Learning
Visual Privacy Auditing with Diffusion Models
Online Double Oracle
The Real Tropical Geometry of Neural Networks for Binary Classification
Denoising Pretrained Black-box Models via Amplitude-Guided Phase Realignment
'Explaining RL Decisions with Trajectories': A Reproducibility Study
Neural Shape Compiler: A Unified Framework for Transforming between Text, Point Cloud, and Program
L2G: Repurposing Language Models for Genomics Tasks
Explaining Visual Counterfactual Explainers
Doubly Robust Kernel Statistics for Testing Distributional Treatment Effects
Simulation-based Bayesian Inference from Privacy Protected Data
MDTree: A Masked Dynamic Autoregressive Model for Phylogenetic Inference
Self-supervised Learning for Segmentation and Quantification of Dopamine Neurons in Parkinson's Disease
GROOD: GRadient-Aware Out-of-Distribution Detection
Contextualized Messages Boost Graph Representations
NOFLITE: Learning to Predict Individual Treatment Effect Distributions
Mind the truncation gap: challenges of learning on dynamic graphs with recurrent architectures
Causal Ordering for Structure Learning from Time Series
Bayesian Optimization of Robustness Measures under Input Uncertainty: A Randomized Gaussian Process Upper Confidence Bound Approach
SFT or RL? An Early Investigation into Training R1-Like Reasoning Large Vision-Language Models
Iterative State Estimation in Non-linear Dynamical Systems Using Approximate Expectation Propagation
Automatic Data Curation for Self-Supervised Learning: A Clustering-Based Approach
IBIA: An Incremental Build-Infer-Approximate Framework for Approximate Inference of Partition Function
Exploiting Benford's Law for Weight Regularization of Deep Neural Networks
Size Lowerbounds for Deep Operator Networks
Mind the Confidence Gap: Overconfidence, Calibration, and Distractor Effects in Large Language Models
Noise-robust Graph Learning by Estimating and Leveraging Pairwise Interactions
An Evolutionary Algorithm for Black-Box Adversarial Attack Against Explainable Methods
Candidate Set Re-ranking for Composed Image Retrieval with Dual Multi-modal Encoder
Does confidence calibration improve conformal prediction?
Foiling Explanations in Deep Neural Networks
DEUP: Direct Epistemic Uncertainty Prediction
A Unified View of Differentially Private Deep Generative Modeling
On the Convergence Rates of Federated Q-Learning across Heterogeneous Environments
Unsupervised Dense Information Retrieval with Contrastive Learning
EHI: End-to-end Learning of Hierarchical Index for Efficient Dense Retrieval
MixedNUTS: Training-Free Accuracy-Robustness Balance via Nonlinearly Mixed Classifiers
Investigating Generalization Behaviours of Generative Flow Networks
Solving Quadratic Programs via Deep Unrolled Douglas-Rachford Splitting
Learning Sparse Graphs for Functional Regression using Graph-induced Operator-valued Kernels
DyGMamba: Efficiently Modeling Long-Term Temporal Dependency on Continuous-Time Dynamic Graphs with State Space Models
OADAT: Experimental and Synthetic Clinical Optoacoustic Data for Standardized Image Processing
Semantic Representations of Mathematical Expressions in a Continuous Vector Space
On the Robustness of Kolmogorov-Arnold Networks: An Adversarial Perspective
RouteFinder: Towards Foundation Models for Vehicle Routing Problems
A Distance-based Anomaly Detection Framework for Deep Reinforcement Learning
A Stochastic Polynomial Expansion for Uncertainty Propagation through Networks
When SNN meets ANN: Error-Free ANN-to-SNN Conversion for Extreme Edge Efficiency
Variational Inference on the Final-Layer Output of Neural Networks
GSURE-Based Diffusion Model Training with Corrupted Data
Learning representations that are closed-form Monge mapping optimal with application to domain adaptation
Optimizing Functionals on the Space of Probabilities with Input Convex Neural Networks
DPVIm: Differentially Private Variational Inference Improved
FGAIF: Aligning Large Vision-Language Models with Fine-grained AI Feedback
SC2 Benchmark: Supervised Compression for Split Computing
Online Coresets for Parameteric and Non-Parametric Bregman Clustering
Adjusting Machine Learning Decisions for Equal Opportunity and Counterfactual Fairness
Efficient and Flexible Neural Network Training through Layer-wise Feedback Propagation
On the Out-of-Distribution Coverage of Combining Split Conformal Prediction and Bayesian Deep Learning
Non-Myopic Multi-Objective Bayesian Optimization
EMMA: Efficient Visual Alignment in Multi-Modal LLMs
On Joint Regularization and Calibration in Deep Ensembles
Optimizing Estimators of Squared Calibration Errors in Classification
Scaling Up Bayesian Neural Networks with Neural Networks
Pruning Feature Extractor Stacking for Cross-domain Few-shot Learning
Scalable Hierarchical Self-Attention with Learnable Hierarchy for Long-Range Interactions
Model Tensor Planning
Successor Feature Representations
Pull-back Geometry of Persistent Homology Encodings
ChemSpacE: Interpretable and Interactive Chemical Space Exploration
Prototypical Self-Explainable Models Without Re-training
Unsupervised Network Embedding Beyond Homophily
Training-free linear image inverses via flows
A Systematic Approach to Universal Random Features in Graph Neural Networks
Competition over data: how does data purchase affect users?
Behind the Machine's Gaze: Neural Networks with Biologically-inspired Constraints Exhibit Human-like Visual Attention
GFNet: Geometric Flow Network for 3D Point Cloud Semantic Segmentation
Preserving Angles Improves Feature Distillation
Preventing Conflicting Gradients in Neural Marked Temporal Point Processes
Visually Descriptive Language Model for Vector Graphics Reasoning
Efficient Gradient Flows in Sliced-Wasserstein Space
AnyV2V: A Tuning-Free Framework For Any Video-to-Video Editing Tasks
A thorough reproduction and evaluation of µP
Achieving the Asymptotically Minimax Optimal Sample Complexity of Offline Reinforcement Learning: A DRO-Based Approach
HyResPINNs: A Hybrid Residual Physics-Informed Neural Network Architecture Designed to Balance Expressiveness and Trainability
Complementarity: Toward Better Metrics and Optimizing Data Efficiency in LLMs
Cross-lingual Transfer in Programming Languages: An Extensive Empirical Study
Robust Alzheimer's Progression Modeling using Cross-Domain Self-Supervised Deep Learning
The BrowserGym Ecosystem for Web Agent Research
Cross-validation for Geospatial Data: Estimating Generalization Performance in Geostatistical Problems
Quantization Variation: A New Perspective on Training Transformers with Low-Bit Precision
Recovering Exact Support in Federated lasso without Optimization
Beyond Intuition: Rethinking Token Attributions inside Transformers
G2D2: Gradient-Guided Discrete Diffusion for Inverse Problem Solving
Bridging Lottery Ticket and Grokking: Understanding Grokking from Inner Structure of Networks
Simple Calibration via Geodesic Kernels
Hierarchical Neural Simulation-Based Inference Over Event Ensembles
A Combinatorial Semi-Bandit Approach to Charging Station Selection for Electric Vehicles
Turning a Curse into a Blessing: Enabling In-Distribution-Data-Free Backdoor Removal via Stabilized Model Inversion
Parameter Efficient Node Classification on Homophilic Graphs
TabCBM: Concept-based Interpretable Neural Networks for Tabular Data
Balanced Mixed-Type Tabular Data Synthesis with Diffusion Models
Feedback-guided Data Synthesis for Imbalanced Classification
Survey of Video Diffusion Models: Foundations, Implementations, and Applications
PNeRV: A Polynomial Neural Representation for Videos
Identifying Axiomatic Mathematical Transformation Steps using Tree-Structured Pointer Networks
Jigsaw-R1: A Study of Rule-based Visual Reinforcement Learning with Jigsaw Puzzles
HQ-VAE: Hierarchical Discrete Representation Learning with Variational Bayes
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
Counting Hours, Counting Losses: The Toll of Unpredictable Work Schedules on Financial Security
Multi-label Node Classification On Graph-Structured Data
Constrained Reinforcement Learning with Smoothed Log Barrier Function
Variational Classification: A Probabilistic Generalization of the Softmax Classifier
MAGDiff: Covariate Data Set Shift Detection via Activation Graphs of Neural Networks
Evolution guided generative flow networks
RCT Rejection Sampling for Causal Estimation Evaluation
Unifying Self-Supervised Clustering and Energy-Based Models
Identifiable Causal Inference with Noisy Treatment and No Side Information
Budgeted Online Model Selection and Fine-Tuning via Federated Learning
Reviving Life on the Edge: Joint Score-Based Graph Generation of Rich Edge Attributes
G-RepsNet: A Lightweight Construction of Equivariant Networks for Arbitrary Matrix Groups
Interactive Task Planning with Language Models
Producers Equilibria and Dynamics in Engagement-Driven Recommender Systems
VLM's Eye Examination: Instruct and Inspect Visual Competency of Vision Language Models
Variation Matters: from Mitigating to Embracing Zero-Shot NAS Ranking Function Variation
Revisiting XRec: How Collaborative Signals Influence LLM-Based Recommendation Explanations
Understanding Smoothness of Vector Gaussian Processes on Product Spaces
AB-UPT: Scaling Neural CFD Surrogates for High- Fidelity Automotive Aerodynamics Simulations via Anchored- Branched Universal Physics Transformers
Solving Inverse Problems using Diffusion with Iterative Colored Renoising
Max-Affine Spline Insights Into Deep Network Pruning
Population-based Evaluation in Repeated Rock-Paper-Scissors as a Benchmark for Multiagent Reinforcement Learning
Continuous U-Net: Faster, Greater and Noiseless
Rethinking Patch Dependence for Masked Autoencoders
Differentiable Logic Machines
Unlearning Misalignment for Personalized LLM Adaptation via Instance-Response-Dependent Discrepancies
Homomorphic Self-Supervised Learning
PrivShap: A Finer-granularity Network Linearization Method for Private Inference
Universal Link Predictor By In-Context Learning on Graphs
The Trifecta: Three simple techniques for training deeper Forward-Forward networks
kNNSampler: Stochastic Imputations for Recovering Missing Value Distributions
Reproducibility Study of "Learning Perturbations to Explain Time Series Predictions"
Anomaly detection with semi-supervised classification based on risk estimators
On the expressive power of process interruption and compensation
Proof-relevance in Bishop-style constructive mathematics
A dual-context sequent calculus for the constructive modal logic S4
Universal Domains and the Amalgamation Property
Fractals and domain theory
Bicategories in univalent foundations
On the von Neumann entropy of certain quantum walks subject to decoherence
An expressiveness study of priority in process calculi
Homotopy type-theoretic interpretations of constructive set theories
On computably locally compact Hausdorff spaces
Formalising Overlap Algebras in Matita
Geometry and concurrency: a user's guide
On reduction and normalization in the computational core
Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science
(Tissue) P systems with cell polarity
A certified implementation of ML with structural polymorphism and recursive types
Graph lambda theories
Engeler's Scientific Work
Dependence and Independence Results for (Impredicative) Calculi of Dependent Types
A pluralist approach to the formalisation of mathematics
Preface to special issue: EXPRESS, ICE and SOS 2009
Models for CSP with availability information
Impredicativity entails Untypedness
Recognizable languages in divisibility monoids
On notions of compactness, object classifiers, and weak Tarski universes
A spectral order for infinite-dimensional quantum spaces
Consistent disjunctive sequent calculi and Scott domains
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Recursion over objects of functional type
A quantum double construction in Rel
Delay-dependent robust stability criteria for stochastic neural networks of neutral-type with interval time-varying delay and linear fractional uncertainties
A Simple Proof of the Undecidability of Strong Normalisation
Compactly generated domain theory
Jump from parallel to sequential proofs: exponentials
Special Issue on Theory and Applications of Models of Computation TAMC 2022
Rigorous implementation of real-time systems - from theory to application
Some logical and syntactical observations concerning the first-order dependent type system lambda-P
Sketches and Computation - II: Dynamic Evaluation and Applications
Preface for the special issue in homage to Martin Hofmann Part 2
Predicate transformers for extended probability and non-determinism
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
Abstract and behaviour module specifications
Visibility and exploitation in social networks
A time-free uniform solution to subset sum problem by tissue P systems with cell division
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II
Non-size increasing graph rewriting for natural language processing
Maurer computers for pipelined instruction processing
Variations on a theme by Ishihara
A new method for establishing conservativity of classical systems over their intuitionistic version
On the ubiquity of certain total type structures
Dualising Initial Algebras
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday
Affine functions and series with co-inductive real numbers
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
Strategic port graph rewriting: an interactive modelling framework
A domain-theoretic framework for robustness analysis of neural networks
Categorical models of the differential λ-calculus
Perpetuality in a named lambda calculus with explicit substitutions
Linear types and approximation
Rewriting systems for the surface classification theorem
The geometry of conservative programs
Hidden coinduction: behavioural correctness proofs for objects
Equilibrium and termination II: the case of Petri nets
Deep inference and expansion trees for second-order multiplicative linear logic
Equivalences between Logics and Their Representing Type Theories
More developments in computational models: introduction
On Hofmann-Streicher universes
Premonoidal Categories and Notions of Computation
Many-one reductions and the category of multivalued functions
Continuous semantics for strong normalisation
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
Call-by-need in token-passing nets
Linked data privacy
Preface: Advances in Homotopy Type Theory
Reasoning about knowledge and messages in asynchronous multi-agent systems
Validating Brouwer's continuity principle for numbers using named exceptions
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
A Uniform Approach to Domain Theory in Realizability Models
Forward analysis for WSTS, part I: completions
A Categorical Generalization of Scott Domains
Optimal fuzzy PID controller design for an active magnetic bearing system based on adaptive genetic algorithms
Special issue on logic and complexity
Definability in the local structure of the ω-Turing degrees
Probability, statistics and computation in dynamical systems
A coding theoretic study of MLL proof nets
Iterative reflections of monads
Expressing additives using multiplicatives and subexponentials
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
The computational power of timed P systems with active membranes using promoters
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective
Algebras of UTxO blockchains
Generalized geometric theories and set-generated classes
Computable elements and functions in effectively enumerable topological spaces
The largest Cartesian closed category of domains, considered constructively
New and improved bounds on the contextuality degree of multi-qubit configurations
Multi-level modelling via stochastic multi-level multiset rewriting
Term Graph Narrowing
A dependently-typed construction of semi-simplicial types
The undecidability theorem for the Horn-like fragment of linear logic (Revisited)
Introduction: special issue ICICTA 2012
Algebra and logic for resource-based systems modelling
Foreword: special issue on structure transformation
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
Anti-symmetry of higher-order subtyping and equality by subtyping
A rewriting framework and logic for activities subject to regulations
Cubical methods in homotopy type theory and univalent foundations
A general final coalgebra theorem
Naive cubical type theory
Tree-functors, determinacy and bisimulations
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
Nonflatness and totality
Mechanizing proofs with logical relations - Kripke-style
Re-Grouping Information in a Domain-Theoretic Data Model
De Groot duality and models of choice: angels, demons and nature
Towards a quantum programming language
Almost linear Büchi automata
The limit-colimit coincidence theorem for -categories
Setoids and universes
Toward a probabilistic biology
Colimits in the Category DCPO
Concurrent models for Linda with transactions
Natural models of homotopy type theory
A Semantic Characterisation of the Correctness of a Proof Net
Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics
Homotopy invariants of higher dimensional categories and concurrency in computer science
Isomorphisms of simple inductive types through extensional rewriting
A Theory of Mixin Modules: Basic and Derived Operators
Categorical models for Abadi and Plotkin's logic for parametricity
Compositional semantics for open Petri nets based on deterministic processe
Interpolation for predefined types
On bisimulations for the spi calculus
On existence of equilibrium under social coalition structures
Hopf Algebras and Linear Logic
Well-filtered spaces and their dcpo models
Subexponentials in non-commutative linear logic
Global escape in multiparty sessions
Robust optimisation of the spring actuator in a vacuum circuit breaker
Algebraic foundations for quantitative information flow
Regular functors and relative realisability categories
Two decades of automatic amortized resource analysis
The genesis of the groupoid model
Finding small counterexamples for abstract rewriting properties
Open Petri nets
Axiomatizing Permutation Equivalence
When Scott is Weak on the Top
Not every countable complete distributive lattice is sober
Model checking for performability
Back to the Coordinated Attack Problem
Trace spaces of directed tori with rectangular holes
Isomorphism theorems between models of mixed choice
Local Yoneda completions of quasi-metric spaces
Krivine's classical realisability from a categorical perspective
Bitopological duality for distributive lattices and Heyting algebras
Normal Forms for Context-Free Node-Rewriting Hypergraph Grammars
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
An environment machine for the lambda-mu-calculus
A calculus of open modules: call-by-need strategy and confluence
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour
W-types in homotopy-type theory - CORRIGENDUM
A rewriting coherence theorem with applications in homotopy type theory
The approximation theorem for the Λμ-calculus
Optimised assignment of airport gate configurations using an immune genetic algorithm
Distributing probability over non-determinism
The Glueing Construction and Lax Limits
Characterizing polynomial Ramsey quantifiers
Postlude: seamless composition and integration - a perspective on formal methods research
Realizability in ordered combinatory algebras with adjunction
Axiomatic semantics of projection temporal logic programs
Diagrammatic Specifications
Extending relational algebra with similarities
Boxed ambients with communication interfaces
Joint distributions, the uncertainty principle and positive distributions
Decidability of fourth-order matching
Convergence in infinitary term graph rewriting systems is simple
Proof search in Lax Logic
Fixed points of contractive maps on dcpo's
Proof nets and semi-star-autonomous categories
On the Foundations of Final Coalgebra Semantics
Method of item recognition based on SIFT and SURF
Mathematics of computing at CiE 2005
Observable interface behaviour and inheritance
Three improvements to the top-down solver
Proof-theoretic foundations for the design of actor systems
A semantics for nabla
Relating timed and register automata
You can only be lucky once: optimal gossip for epistemic goals
Structure and properties of strong prefix codes of pictures
Tilings: simulation and universality
Randomness and determinism in the interplay between the continuum and the discrete
Extensional constructive real analysis via locators
A lambda calculus for quantum computation with classical control
Representing Control: A Study of the CPS Transformation
A categorical version of the Brouwer-Heyting-Kolmogorov interpretation
Sequentiality vs. Concurrency In Games And Logic
An interpretation of dependent type theory in a model category of locally cartesian closed categories
The nominal/FM Yoneda Lemma
Towards an algorithmic construction of cut-elimination procedures
Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals
Jets and differential linear logic
A categorical analogue of the monoid semiring construction
Rewriting in Gray categories with applications to coherence
An introduction to differential linear logic: proof-nets, models and antiderivatives
Graph models of lambda-calculus at work, and variations
On geometry of interaction for polarized linear logic
A second note on the feasibility of generalized universal composability
An Isbell duality theorem for type refinement systems