Skip to content
conftrace_

Papers (including subtopics)

Verifiably Robust Conformal Prediction NeurIPS 2024 Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation CoRL 2024 Verification of neural reachable tubes via scenario optimization and conformal prediction L4DC 2024 Verifying message-passing neural networks via topology-based bounds tightening ICML 2024 Vertical Symbolic Regression via Deep Policy Gradient IJCAI 2024 Virtual-Event-Based Posterior Sampling and Inference for Neyman-Scott Processes JMLR 2024 VISA: Variational Inference with Sequential Sample-Average Approximations NeurIPS 2024 Vision-based Discovery of Nonlinear Dynamics for 3D Moving Target IJCAI 2024 Vision Mamba Mender NeurIPS 2024 Visual Riddles: a Commonsense and World Knowledge Challenge for Large Vision and Language Models NeurIPS 2024 Visual Transformer with Differentiable Channel Selection: An Information Bottleneck Inspired Approach ICML 2024 VividDreamer: Invariant Score Distillation for Hyper-Realistic Text-to-3D Generation ECCV 2024 VLEU: a Method for Automatic Evaluation for Generalizability of Text-to-Image Models EMNLP 2024 VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees ICML 2024 VoiCor: A Residual Iterative Voice Correction Framework for Monaural Speech Enhancement Interspeech 2024 V-PETL Bench: A Unified Visual Parameter-Efficient Transfer Learning Benchmark NeurIPS 2024 VPTQ: Extreme Low-bit Vector Post-Training Quantization for Large Language Models EMNLP 2024 Vulcan: Automatic Query Planning for Live ML Analytics NSDI 2024 Vulnerabilities of Single-Round Incentive Compatibility in Auto-bidding: Theory and Evidence from ROI-Constrained Online Advertising Markets IJCAI 2024 Vygotsky Distance: Measure for Benchmark Task Similarity COLING 2024 WARM: On the Benefits of Weight Averaged Reward Models ICML 2024 Warm-starting Push-Relabel NeurIPS 2024 Warm-up Free Policy Optimization: Improved Regret in Linear Markov Decision Processes NeurIPS 2024 Wasserstein Differential Privacy AAAI 2024 Wasserstein Distance Rivals Kullback-Leibler Divergence for Knowledge Distillation NeurIPS 2024