Skip to content

最新论文 - 2025年03月31日 #18

@github-actions

Description

@github-actions

最后更新:2025-03-31 00:01

本次更新执行命令

D:\a\MyAutoPapers\MyAutoPapers\target\release\my_auto_papers.exe --keywords=
             efficient RL,
             partial observable markov decision process/pomdp,sparse reward reinforcement learning,
             casual RL/counterfactual RL/casual reinforcement learning,
             causal inference/causal discovery/counterfactual reasoning,
             video super resolution,
             knowledge graph/knowledge distillation/knowledge representation/knowledge transfer/knowledge embedding,
             combinatorial game theory/xiangqi/chinese chess,
             code llm,
             speech recognition,
             zero shot tracking/few shot tracking/pose tracking/pose estimation,
             text to 3d/image to 3d/text to texture,
             automated theorem proving/interactive theorem proving/formal verification
              --exclude-keywords=multi-agent,multiagent --per-keyword-max-result=8

参数详解

  • 关键词:efficient RL, partial observable markov decision process/pomdp, sparse reward reinforcement learning, casual RL/counterfactual RL/casual reinforcement learning, causal inference/causal discovery/counterfactual reasoning, video super resolution, knowledge graph/knowledge distillation/knowledge representation/knowledge transfer/knowledge embedding, combinatorial game theory/xiangqi/chinese chess, code llm, speech recognition, zero shot tracking/few shot tracking/pose tracking/pose estimation, text to 3d/image to 3d/text to texture, automated theorem proving/interactive theorem proving/formal verification
  • 排除关键词:multi-agent, multiagent
  • 每关键词最大结果:8
  • 目标领域:cs, stat
  • 每关键词重试次数:3

论文汇总(195篇)

更好的阅读体验请访问 Github页面

1. efficient RL

序号 标题 日期
1 Provably Efficient RL for Linear MDPs under Instantaneous Safety Constraints in Non-Convex Feature Spaces 2025-02-25
2 Provably Efficient RL under Episode-Wise Safety in Constrained MDPs with Linear Function Approximation 2025-02-14
3 Improving Transformer World Models for Data-Efficient RL 2025-02-03
4 Towards Efficient Multi-Objective Optimisation for Real-World Power Grid Topology Control 2025-01-24
5 SLIM: Sim-to-Real Legged Instructive Manipulation via Long-Horizon Visuomotor Learning 2025-01-17
6 Precise and Dexterous Robotic Manipulation via Human-in-the-Loop Reinforcement Learning 2024-10-29
7 Uncovering RL Integration in SSL Loss: Objective-Specific Implications for Data-Efficient RL 2024-10-22
8 Computationally Efficient RL under Linear Bellman Completeness for Deterministic Dynamics 2024-06-17

2. partial observable markov decision process/pomdp

序号 标题 日期
1 Real-time Tracking System with partially coupled sources 2025-03-27
2 Observation Adaptation via Annealed Importance Resampling for Partially Observable Markov Decision Processes 2025-03-25
3 Joint Transmission and Control in a Goal-oriented NOMA Network 2025-03-18
4 Deep Belief Markov Models for POMDP Inference 2025-03-17
5 Goal-Oriented Remote Tracking Through Correlated Observations in Pull-based Communications 2025-03-17
6 Parameter Adjustments in POMDP-Based Trajectory Planning for Unsignalized Intersections 2024-12-09
7 Online POMDP Planning with Anytime Deterministic Guarantees 2023-10-03

3. sparse reward reinforcement learning

序号 标题 日期
1 Contextual Similarity Distillation: Ensemble Uncertainties with a Single Model 2025-03-14
2 Hedging with Sparse Reward Reinforcement Learning 2025-03-06
3 Dense Dynamics-Aware Reward Synthesis: Integrating Prior Experience with Demonstrations 2024-12-02
4 Subwords as Skills: Tokenization for Sparse-Reward Reinforcement Learning 2023-09-08
5 Language Reward Modulation for Pretraining Reinforcement Learning 2023-08-23
6 Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning 2022-09-27
7 Abstract Demonstrations and Adaptive Exploration for Efficient and Stable Multi-step Sparse Reward Reinforcement Learning 2022-07-19

4. casual RL/counterfactual RL/casual reinforcement learning

序号 标题 日期
1 Should I Trust You? Detecting Deception in Negotiations using Counterfactual RL 2025-02-18
2 Sample-Efficient Reinforcement Learning via Counterfactual-Based Data Augmentation 2020-12-16

5. causal inference/causal discovery/counterfactual reasoning

序号 标题 日期
1 ClusterSC: Advancing Synthetic Control with Donor Selection 2025-03-27
2 Constraint-based causal discovery with tiered background knowledge and latent variables in single or overlapping datasets 2025-03-27
3 A Contextual Approach to Technological Understanding and Its Assessment 2025-03-27
4 What Changed and What Could Have Changed? State-Change Counterfactuals for Procedure-Aware Video Representation Learning 2025-03-27
5 A Causal Perspective of Stock Prediction Models 2025-03-26
6 Inferring Treatment Effects in Large Panels by Uncovering Latent Similarities 2025-03-26
7 Functional structural equation models with out-of-sample guarantees 2025-03-25
8 Body Discovery of Embodied AI 2025-03-25
9 Fairness-Driven LLM-based Causal Discovery with Active Learning and Dynamic Scoring 2025-03-21
10 CausalRivers -- Scaling up benchmarking of causal discovery for real-world time-series 2025-03-21
11 Data-Driven Optimization of EV Charging Station Placement Using Causal Discovery 2025-03-21
12 Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal Discovery 2025-03-21
13 Neuro Symbolic Knowledge Reasoning for Procedural Video Question Answering 2025-03-19
14 Causal Discovery and Counterfactual Reasoning to Optimize Persuasive Dialogue Policies 2025-03-19
15 Neutralizing Bias in LLM Reasoning using Entailment Graphs 2025-03-14
16 Towards Causal Model-Based Policy Optimization 2025-03-12
17 Philip G. Wright, directed acyclic graphs, and instrumental variables 2025-01-26
18 Federated Causal Inference: Multi-Study ATE Estimation beyond Meta-Analysis 2024-10-22
19 Score matching through the roof: linear, nonlinear, and latent variables causal discovery 2024-07-26
20 FedECA: A Federated External Control Arm Method for Causal Inference with Time-To-Event Data in Distributed Settings 2023-11-28
21 Copula-based Sensitivity Analysis for Multi-Treatment Causal Inference with Unobserved Confounding 2021-02-18
22 SSCR: Iterative Language-Based Image Editing via Self-Supervised Counterfactual Reasoning 2020-09-21
23 Counterfactual Vision-and-Language Navigation via Adversarial Path Sampling 2019-11-17

6. video super resolution

序号 标题 日期
1 FedVSR: Towards Model-Agnostic Federated Learning in Video Super-Resolution 2025-03-17
2 Blind Video Super-Resolution based on Implicit Kernels 2025-03-10
3 Implicit Neural Representation for Video and Image Super-Resolution 2025-03-06
4 Video Super-Resolution: All You Need is a Video Diffusion Model 2025-03-05
5 Low-Resource Video Super-Resolution using Memory, Wavelets, and Deformable Convolutions 2025-02-03
6 BF-STVSR: B-Splines and Fourier-Best Friends for High Fidelity Spatial-Temporal Video Super-Resolution 2025-01-19
7 DiffVSR: Revealing an Effective Recipe for Taming Robust Video Super-Resolution Against Complex Degradations 2025-01-17
8 Spatio-Temporal Distortion Aware Omnidirectional Video Super-Resolution 2024-10-15

7. knowledge graph/knowledge distillation/knowledge representation/knowledge transfer/knowledge embedding

序号 标题 日期
1 Enhancing Repository-Level Software Repair via Repository-Aware Knowledge Graphs 2025-03-27
2 JiraiBench: A Bilingual Benchmark for Evaluating Large Language Models' Detection of Human Self-Destructive Behavior Content in Jirai Community 2025-03-27
3 KRAFT -- A Knowledge-Graph-Based Resource Allocation Framework 2025-03-27
4 Graph-to-Vision: Multi-graph Understanding and Reasoning using Vision-Language Models 2025-03-27
5 Residual Learning Inspired Crossover Operator and Strategy Enhancements for Evolutionary Multitasking 2025-03-27
6 DuckSegmentation: A segmentation model based on the AnYue Hemp Duck Dataset 2025-03-27
7 HyperGraphRAG: Retrieval-Augmented Generation with Hypergraph-Structured Knowledge Representation 2025-03-27
8 Delving Deep into Semantic Relation Distillation 2025-03-27
9 Knowledge Graphs as World Models for Semantic Material-Aware Obstacle Handling in Autonomous Vehicles 2025-03-27
10 A Theoretical Analysis of Analogy-Based Evolutionary Transfer Optimization 2025-03-27
11 Alleviating LLM-based Generative Retrieval Hallucination in Alipay Search 2025-03-27
12 DEMENTIA-PLAN: An Agent-Based Framework for Multi-Knowledge Graph Retrieval-Augmented Generation in Dementia Care 2025-03-26
13 Small Object Detection: A Comprehensive Survey on Challenges, Techniques and Real-World Applications 2025-03-26
14 MoLe-VLA: Dynamic Layer-skipping Vision Language Action Model via Mixture-of-Layers for Efficient Robot Manipulation 2025-03-26
15 Modality-Independent Brain Lesion Segmentation with Privacy-aware Continual Learning 2025-03-26
16 Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement 2025-03-25
17 FUSE: Label-Free Image-Event Joint Monocular Depth Estimation via Frequency-Decoupled Alignment and Degradation-Robust Fusion 2025-03-25
18 Efficient Continual Adaptation of Pretrained Robotic Policy with Online Meta-Learned Adapters 2025-03-24
19 Knowledge Transfer from LLMs to Provenance Analysis: A Semantic-Augmented Method for APT Detection 2025-03-24
20 A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives 2025-03-23
21 Accelerating Antibiotic Discovery with Large Language Models and Knowledge Graphs 2025-03-20
22 Semantic Web -- A Forgotten Wave of Artificial Intelligence? 2025-03-20
23 KoGNER: A Novel Framework for Knowledge Graph Distillation on Biomedical Named Entity Recognition 2025-03-19
24 Code Digital Twin: Empowering LLMs with Tacit Knowledge for Complex Software Maintenance 2025-03-11
25 Hypergraph Foundation Model 2025-03-03
26 R2-KG: General-Purpose Dual-Agent Framework for Reliable Reasoning on Knowledge Graphs 2025-02-18
27 A Comprehensive Survey on Integrating Large Language Models with Knowledge-Based Methods 2025-01-19
28 A Note on Estimation Error Bound and Grouping Effect of Transfer Elastic Net 2024-12-02
29 GRADE: Quantifying Sample Diversity in Text-to-Image Models 2024-10-29
30 KGARevion: An AI Agent for Knowledge-Intensive Biomedical QA 2024-10-07
31 CoTKR: Chain-of-Thought Enhanced Knowledge Rewriting for Complex Knowledge Graph Question Answering 2024-09-29
32 StableMamba: Distillation-free Scaling of Large SSMs for Images and Videos 2024-09-18
33 HybEA: Hybrid Models for Entity Alignment 2024-07-03
34 Perturbation-Restrained Sequential Model Editing 2024-05-27
35 Text-to-Model: Text-Conditioned Neural Network Diffusion for Train-Once-for-All Personalization 2024-05-23
36 Towards Complementary Knowledge Distillation for Efficient Dense Image Prediction 2024-01-24

8. combinatorial game theory/xiangqi/chinese chess

序号 标题 日期
1 Computational and Algebraic Structure of Board Games 2025-02-18
2 RemoteChess: Enhancing Older Adults' Social Connectedness via Designing a Virtual Reality Chinese Chess (Xiangqi) Community 2025-02-17
3 Temperatures of Robin Hood 2025-01-13
4 On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory 2025-01-08
5 Complete Implementation of WXF Chinese Chess Rules 2024-12-23
6 Maker-Breaker on Galton-Watson trees 2024-12-11
7 Relationship between misère NIM and two-player GOISHI HIROI 2024-12-05
8 The Game Value of Sequential Compounds of Integers and Stars 2024-11-13
9 A New 0(klog n) Algorithm for Josephus Problem 2024-11-10
10 Mastering Chinese Chess AI (Xiangqi) Without Search 2024-10-07
11 An Efficient Multi-Robot Arm Coordination Strategy for Pick-and-Place Tasks using Reinforcement Learning 2024-09-20
12 XQSV: A Structurally Variable Network to Imitate Human Play in Xiangqi 2024-07-05
13 Degrees are Useless in SNORT When Measuring Temperature 2024-06-04
14 Shogi and Frieze group 2023-11-15
15 JiangJun: Mastering Xiangqi by Tackling Non-Transitivity in Two-Player Zero-Sum Games 2023-08-09
16 Niel's Chess -- Rules for Xiangqi 2023-06-27
17 On the complexity of Dark Chinese Chess 2021-12-06
18 A Note on Hardness Frameworks and Computational Complexity of Xiangqi and Janggi 2019-03-30
19 Comparison Training for Computer Chinese Chess 2018-01-23

9. code llm

序号 标题 日期
1 Enhancing the Robustness of LLM-Generated Code: Empirical Study and Framework 2025-03-26
2 Every Sample Matters: Leveraging Mixture-of-Experts and High-Quality Data for Efficient and Accurate Code LLM 2025-03-22
3 Automated Harmfulness Testing for Code Large Language Models 2025-03-20
4 aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion 2025-03-19
5 LLM-Aided Customizable Profiling of Code Data Based On Programming Language Concepts 2025-03-19
6 Enhancing Code LLM Training with Programmer Attention 2025-03-19
7 OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models 2024-11-07
8 SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications 2024-09-19

10. speech recognition

序号 标题 日期
1 VALLR: Visual ASR Language Model for Lip Reading 2025-03-27
2 A 71.2-$μ$W Speech Recognition Accelerator with Recurrent Spiking Neural Network 2025-03-27
3 Improving Speech Recognition Accuracy Using Custom Language Models with the Vosk Toolkit 2025-03-26
4 FinAudio: A Benchmark for Audio Large Language Models in Financial Applications 2025-03-26
5 Chain-of-Thought Prompting for Speech Translation 2024-09-17
6 Vibravox: A Dataset of French Speech Captured with Body-conduction Audio Sensors 2024-07-16
7 Whistle: Data-Efficient Multilingual and Crosslingual Speech Recognition via Weakly Phonetic Supervision 2024-06-04
8 Learning Multi-modal Representations by Watching Hundreds of Surgical Video Lectures 2023-07-27

11. zero shot tracking/few shot tracking/pose tracking/pose estimation

序号 标题 日期
1 Uni4D: Unifying Visual Foundation Models for 4D Modeling from a Single Video 2025-03-27
2 Reconstructing Humans with a Biomechanically Accurate Skeleton 2025-03-27
3 OccRobNet : Occlusion Robust Network for Accurate 3D Interacting Hand-Object Pose Estimation 2025-03-27
4 RapidPoseTriangulation: Multi-view Multi-person Whole-body Human Pose Triangulation in a Millisecond 2025-03-27
5 STAMICS: Splat, Track And Map with Integrated Consistency and Semantics for Dense RGB-D SLAM 2025-03-27
6 Lidar-only Odometry based on Multiple Scan-to-Scan Alignments over a Moving Window 2025-03-27
7 Recurrent Feature Mining and Keypoint Mixup Padding for Category-Agnostic Pose Estimation 2025-03-27
8 DynOPETs: A Versatile Benchmark for Dynamic Object Pose Estimation and Tracking in Moving Camera Scenarios 2025-03-25
9 DyWA: Dynamics-adaptive World Action Model for Generalizable Non-prehensile Manipulation 2025-03-21
10 Dynamic Point Maps: A Versatile Representation for Dynamic 3D Reconstruction 2025-03-20
11 A Modular Edge Device Network for Surgery Digitalization 2025-03-18
12 Stereo Event-based, 6-DOF Pose Tracking for Uncooperative Spacecraft 2025-03-17
13 Humanoids in Hospitals: A Technical Study of Humanoid Surrogates for Dexterous Medical Interventions 2025-03-17
14 NormalFlow: Fast, Robust, and Accurate Contact-based Object 6DoF Pose Tracking with Vision-based Tactile Sensors 2024-12-12
15 RatBodyFormer: Rat Body Surface from Keypoints 2024-12-12
16 Faster Model Predictive Control via Self-Supervised Initialization Learning 2024-08-06
17 Matching Anything by Segmenting Anything 2024-06-06
18 NuRF: Nudging the Particle Filter in Radiance Fields for Robot Visual Localization 2024-06-01
19 Multi-Scale Memory Comparison for Zero-/Few-Shot Anomaly Detection 2023-08-09
20 Zero-Shot Anomaly Detection with Pre-trained Segmentation Models 2023-06-15
21 APRIL-GAN: A Zero-/Few-Shot Anomaly Classification and Segmentation Method for CVPR 2023 VAND Workshop Challenge Tracks 1&2: 1st Place on Zero-shot AD and 4th Place on Few-shot AD 2023-05-27
22 Unifying Tracking and Image-Video Object Detection 2022-11-20
23 Exploring the Effectiveness of Self-supervised Learning and Classifier Chains in Emotion Recognition of Nonverbal Vocalizations 2022-06-21
24 The Multi-speaker Multi-style Voice Cloning Challenge 2021 2021-04-05

12. text to 3d/image to 3d/text to texture

序号 标题 日期
1 3DGen-Bench: Comprehensive Benchmark Suite for 3D Generative Models 2025-03-27
2 Progressive Rendering Distillation: Adapting Stable Diffusion for Instant Text-to-Mesh Generation without 3D Data 2025-03-27
3 Zero-Shot Human-Object Interaction Synthesis with Multimodal Priors 2025-03-25
4 AIM2PC: Aerial Image to 3D Building Point Cloud Reconstruction 2025-03-24
5 DVG-Diffusion: Dual-View Guided Diffusion Model for CT Reconstruction from X-Rays 2025-03-22
6 Acc3D: Accelerating Single Image to 3D Diffusion Models via Edge Consistency Guided Score Distillation 2025-03-20
7 VideoRFSplat: Direct Scene-Level Text-to-3D Gaussian Splatting Generation with Flexible Pose and Multi-View Joint Modeling 2025-03-20
8 Uncertainty-Aware Diffusion Guided Refinement of 3D Scenes 2025-03-19
9 Shap-MeD 2025-03-19
10 AR-1-to-3: Single Image to Consistent 3D Object Generation via Next-View Prediction 2025-03-17
11 Evolution 6.0: Evolving Robotic Capabilities Through Generative Design 2025-02-24
12 LAYOUTDREAMER: Physics-guided Layout for Text-to-3D Compositional Scene Generation 2025-02-04
13 ProcTex: Consistent and Interactive Text-to-texture Synthesis for Procedural Models 2025-01-28
14 Learning Visual Generative Priors without Text 2024-12-10
15 MARVEL-40M+: Multi-Level Visual Elaboration for High-Fidelity Text-to-3D Content Creation 2024-11-26
16 MVPaint: Synchronized Multi-View Diffusion for Painting Anything 3D 2024-11-04
17 3D-Adapter: Geometry-Consistent Multi-View Diffusion for High-Quality 3D Generation 2024-10-24
18 Jointly Generating Multi-view Consistent PBR Textures using Collaborative Control 2024-10-09
19 RoCoTex: A Robust Method for Consistent Texture Synthesis with Diffusion Models 2024-09-30
20 GenesisTex2: Stable, Consistent and High-Quality Text-to-Texture Generation 2024-09-27
21 Meta 3D Gen 2024-07-02
22 FlashTex: Fast Relightable Mesh Texturing with LightControlNet 2024-02-20

13. automated theorem proving/interactive theorem proving/formal verification

序号 标题 日期
1 AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL 2025-03-24
2 Safeguarding Mobile GUI Agent via Logic-based Action Verification 2025-03-24
3 Formal Verification of Parameterized Systems based on Induction 2025-03-23
4 A Categorical Integration of Logical Connectives via Higher Category Theory 2025-03-20
5 A Natural Transformation between the Model Constructions of the Completeness and Compactness Theorems, Enhanced by Rigidity and 2-Categorical Strengthening 2025-03-19
6 Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA 2025-03-18
7 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving 2025-03-12
8 Faithful Logic Embeddings in HOL -- A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level 2025-02-26
9 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction 2025-02-25
10 A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation 2025-02-25
11 CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization 2025-02-25
12 Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs 2025-02-16
13 Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving 2025-02-11
14 Proving the Coding Interview: A Benchmark for Formally Verified Code Generation 2025-02-08
15 HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving 2024-12-30
16 Learning Rules Explaining Interactive Theorem Proving Tactic Prediction 2024-11-02
17 Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version) 2024-10-18
18 Reusable Formal Verification of DAG-based Consensus Protocols 2024-07-02
19 Towards Classical Software Verification using Quantum Computers 2024-04-29
20 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving 2024-03-06
21 Trocq: Proof Transfer for Free, With or Without Univalence 2023-10-21
22 Translating SUMO-K to Higher-Order Set Theory 2023-05-13
23 Magnushammer: A Transformer-Based Approach to Premise Selection 2023-03-08

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentation

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions