Skip to content

最新论文 - 2025年04月07日 #19

@github-actions

Description

@github-actions

最后更新:2025-04-07 00:06

本次更新执行命令

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

论文汇总(198篇)

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

1. efficient RL

序号 标题 日期
1 Handling Delay in Real-Time Reinforcement Learning 2025-03-30
2 Provably Efficient RL for Linear MDPs under Instantaneous Safety Constraints in Non-Convex Feature Spaces 2025-02-25
3 Provably Efficient RL under Episode-Wise Safety in Constrained MDPs with Linear Function Approximation 2025-02-14
4 Improving Transformer World Models for Data-Efficient RL 2025-02-03
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 An Efficient Reservation Protocol for Medium Access: When Tree Splitting Meets Reinforcement Learning 2025-04-03
2 Off-Policy Evaluation for Sequential Persuasion Process with Unobserved Confounding 2025-04-01
3 Real-time Tracking System with partially coupled sources 2025-03-27
4 Observation Adaptation via Annealed Importance Resampling for Partially Observable Markov Decision Processes 2025-03-25
5 Joint Transmission and Control in a Goal-oriented NOMA Network 2025-03-18
6 Online Hybrid-Belief POMDP with Coupled Semantic-Geometric Models and Semantic Safety Awareness 2025-01-20
7 Parameter Adjustments in POMDP-Based Trajectory Planning for Unsignalized Intersections 2024-12-09
8 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 A Causal Inference Framework for Data Rich Environments 2025-04-02
2 Identifying Macro Causal Effects in C-DMGs 2025-04-02
3 On the limitations for causal inference in Cox models with time-varying treatment 2025-04-02
4 PROPHET: An Inferable Future Forecasting Benchmark with Causal Intervened Likelihood Estimation 2025-04-02
5 Causal Models for Growing Networks 2025-04-01
6 When Counterfactual Reasoning Fails: Chaos and Real-World Complexity 2025-03-31
7 A Causal Framework to Measure and Mitigate Non-binary Treatment Discrimination 2025-03-28
8 MASCOTS: Model-Agnostic Symbolic COunterfactual explanations for Time Series 2025-03-28
9 Constraint-based causal discovery with tiered background knowledge and latent variables in single or overlapping datasets 2025-03-27
10 A Contextual Approach to Technological Understanding and Its Assessment 2025-03-27
11 What Changed and What Could Have Changed? State-Change Counterfactuals for Procedure-Aware Video Representation Learning 2025-03-27
12 A Causal Perspective of Stock Prediction Models 2025-03-26
13 Fairness-Driven LLM-based Causal Discovery with Active Learning and Dynamic Scoring 2025-03-21
14 CausalRivers -- Scaling up benchmarking of causal discovery for real-world time-series 2025-03-21
15 Neuro Symbolic Knowledge Reasoning for Procedural Video Question Answering 2025-03-19
16 Causal Discovery and Counterfactual Reasoning to Optimize Persuasive Dialogue Policies 2025-03-19
17 Addressing pitfalls in implicit unobserved confounding synthesis using explicit block hierarchical ancestral sampling 2025-03-12
18 Causal Mechanisms of Subpolar Gyre Variability in CMIP6 Models 2024-08-29
19 Granger causal inference for climate change attribution 2024-08-13
20 Score matching through the roof: linear, nonlinear, and latent variables causal discovery 2024-07-26
21 Proximal Causal Inference for Conditional Separable Effects 2024-02-16
22 Sample, estimate, aggregate: A recipe for causal discovery foundation models 2024-02-02
23 SSCR: Iterative Language-Based Image Editing via Self-Supervised Counterfactual Reasoning 2020-09-21

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 F-ViTA: Foundation Model Guided Visible to Thermal Translation 2025-04-03
2 Affordable AI Assistants with Knowledge Graph of Thoughts 2025-04-03
3 Knowledge Graph Completion with Mixed Geometry Tensor Factorization 2025-04-03
4 Reasoning Inconsistencies and How to Mitigate Them in Deep Learning 2025-04-03
5 UNDO: Understanding Distillation as Optimization 2025-04-03
6 Scaling Analysis of Interleaved Speech-Text Language Models 2025-04-03
7 Marine Saliency Segmenter: Object-Focused Conditional Diffusion with Region-Level Semantic Knowledge Distillation 2025-04-03
8 Agglomerating Large Vision Encoders via Distillation for VFSS Segmentation 2025-04-03
9 Improving Harmful Text Detection with Joint Retrieval and External Knowledge 2025-04-03
10 Causal Self-supervised Pretrained Frontend with Predictive Code for Speech Separation 2025-04-03
11 Beyond Conventional Transformers: The Medical X-ray Attention (MXA) Block for Improved Multi-Label Diagnosis Using Knowledge Distillation 2025-04-03
12 MMTL-UniAD: A Unified Framework for Multimodal and Multi-Task Learning in Assistive Driving Perception 2025-04-03
13 Graph Analytics for Cyber-Physical System Resilience Quantification 2025-04-02
14 PolyG: Effective and Efficient GraphRAG with Adaptive Graph Traversal 2025-04-02
15 FlowDistill: Scalable Traffic Flow Prediction via Distillation from LLMs 2025-04-02
16 A Diffusion-Based Framework for Occluded Object Movement 2025-04-02
17 A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines 2025-04-02
18 AI-Newton: A Concept-Driven Physical Law Discovery System without Prior Physical Knowledge 2025-04-02
19 Generative Retrieval and Alignment Model: A New Paradigm for E-commerce Retrieval 2025-04-02
20 Data-free Knowledge Distillation with Diffusion Models 2025-04-01
21 m1: Unleash the Potential of Test-Time Scaling for Medical Reasoning with Large Language Models 2025-04-01
22 ToVE: Efficient Vision-Language Learning via Knowledge Transfer from Vision Experts 2025-04-01
23 Enhancing Large Language Models (LLMs) for Telecommunications using Knowledge Graphs and Retrieval-Augmented Generation 2025-03-31
24 Multimodal machine learning with large language embedding model for polymer property prediction 2025-03-29
25 Nonhuman Primate Brain Tissue Segmentation Using a Transfer Learning Approach 2025-03-28
26 HyperGraphRAG: Retrieval-Augmented Generation with Hypergraph-Structured Knowledge Representation 2025-03-27
27 DEMENTIA-PLAN: An Agent-Based Framework for Multi-Knowledge Graph Retrieval-Augmented Generation in Dementia Care 2025-03-26
28 Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement 2025-03-25
29 Comparison of Metadata Representation Models for Knowledge Graph Embeddings 2025-03-25
30 Knowledge Transfer from LLMs to Provenance Analysis: A Semantic-Augmented Method for APT Detection 2025-03-24
31 OmniScience: A Domain-Specialized LLM for Scientific Reasoning and Discovery 2025-03-22
32 Cyclic Contrastive Knowledge Transfer for Open-Vocabulary Object Detection 2025-03-14
33 ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 2024-12-22
34 What is Left After Distillation? How Knowledge Transfer Impacts Fairness and Bias 2024-10-10
35 A Model-Agnostic Approach for Semantically Driven Disambiguation in Human-Robot Interaction 2024-09-25
36 Semantic Information Management in Low-Temperature Plasma Science and Technology with VIVO 2024-09-17
37 Text-to-Model: Text-Conditioned Neural Network Diffusion for Train-Once-for-All Personalization 2024-05-23
38 Data-Driven Knowledge Transfer in Batch $Q^*$ Learning 2024-04-01
39 Making Large Language Models Better Knowledge Miners for Online Marketing with Progressive Prompting Augmentation 2023-12-08

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 On Benchmarking Code LLMs for Android Malware Analysis 2025-04-01
2 Enhancing the Robustness of LLM-Generated Code: Empirical Study and Framework 2025-03-26
3 Every Sample Matters: Leveraging Mixture-of-Experts and High-Quality Data for Efficient and Accurate Code LLM 2025-03-22
4 Automated Harmfulness Testing for Code Large Language Models 2025-03-20
5 aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion 2025-03-19
6 OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models 2024-11-07
7 SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications 2024-09-19
8 CodeUpdateArena: Benchmarking Knowledge Editing on API Updates 2024-07-08

10. speech recognition

序号 标题 日期
1 LinTO Audio and Textual Datasets to Train and Evaluate Automatic Speech Recognition in Tunisian Arabic Dialect 2025-04-03
2 F5R-TTS: Improving Flow Matching based Text-to-Speech with Group Relative Policy Optimization 2025-04-03
3 DuplexMamba: Enhancing Real-time Speech Conversations with Duplex and Streaming Capabilities 2025-02-16
4 Prior Lessons of Incremental Dialogue and Robot Action Management for the Age of Language Models 2025-01-01
5 Ichigo: Mixed-Modal Early-Fusion Realtime Voice Assistant 2024-10-20
6 A Framework for Adapting Human-Robot Interaction to Diverse User Groups 2024-10-15
7 Large Language Model Can Transcribe Speech in Multi-Talker Scenarios with Versatile Instructions 2024-09-13

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

序号 标题 日期
1 BOP Challenge 2024 on Model-Based and Model-Free 6D Object Pose Estimation 2025-04-03
2 PicoPose: Progressive Pixel-to-Pixel Correspondence Learning for Novel Object Pose Estimation 2025-04-03
3 Dual-stream Transformer-GCN Model with Contextualized Representations Learning for Monocular 3D Human Pose Estimation 2025-04-02
4 ForestVO: Enhancing Visual Odometry in Forest Environments through ForestGlue 2025-04-02
5 Improving Indoor Localization Accuracy by Using an Efficient Implicit Neural Map Representation 2025-03-30
6 FRAME: Floor-aligned Representation for Avatar Motion from Egocentric Video 2025-03-29
7 DynOPETs: A Versatile Benchmark for Dynamic Object Pose Estimation and Tracking in Moving Camera Scenarios 2025-03-25
8 DyWA: Dynamics-adaptive World Action Model for Generalizable Non-prehensile Manipulation 2025-03-21
9 A Modular Edge Device Network for Surgery Digitalization 2025-03-18
10 Robust 6DoF Pose Tracking Considering Contour and Interior Correspondence Uncertainty for AR Assembly Guidance 2025-02-17
11 RePoseD: Efficient Relative Pose Estimation With Known Depth Information 2025-01-13
12 6DOPE-GS: Online 6D Object Pose Estimation using Gaussian Splatting 2024-12-02
13 Universal Global State Estimation for Inertial Navigation Systems 2024-10-04
14 UniT: Data Efficient Tactile Representation with Generalization to Unseen Objects 2024-08-12
15 Faster Model Predictive Control via Self-Supervised Initialization Learning 2024-08-06
16 Matching Anything by Segmenting Anything 2024-06-06
17 NuRF: Nudging the Particle Filter in Radiance Fields for Robot Visual Localization 2024-06-01
18 Multi-Scale Memory Comparison for Zero-/Few-Shot Anomaly Detection 2023-08-09
19 Zero-Shot Anomaly Detection with Pre-trained Segmentation Models 2023-06-15
20 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
21 Unifying Tracking and Image-Video Object Detection 2022-11-20
22 Exploring the Effectiveness of Self-supervised Learning and Classifier Chains in Emotion Recognition of Nonverbal Vocalizations 2022-06-21
23 The Multi-speaker Multi-style Voice Cloning Challenge 2021 2021-04-05

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

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

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

序号 标题 日期
1 C*: Unifying Programming and Verification in C 2025-04-03
2 Are Users More Willing to Use Formally Verified Password Managers? 2025-04-02
3 The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors 2025-03-31
4 Automated Discovery of Tactic Libraries for Interactive Theorem Proving 2025-03-31
5 ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning 2025-03-26
6 AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL 2025-03-24
7 Safeguarding Mobile GUI Agent via Logic-based Action Verification 2025-03-24
8 A Natural Transformation between the Model Constructions of the Completeness and Compactness Theorems, Enhanced by Rigidity and 2-Categorical Strengthening 2025-03-19
9 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving 2025-03-12
10 CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection 2025-03-12
11 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
12 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction 2025-02-25
13 A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation 2025-02-25
14 CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization 2025-02-25
15 Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs 2025-02-16
16 Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving 2025-02-11
17 Proving the Coding Interview: A Benchmark for Formally Verified Code Generation 2025-02-08
18 HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving 2024-12-30
19 Learning Rules Explaining Interactive Theorem Proving Tactic Prediction 2024-11-02
20 Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version) 2024-10-18
21 Towards Classical Software Verification using Quantum Computers 2024-04-29
22 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving 2024-03-06
23 Trocq: Proof Transfer for Free, With or Without Univalence 2023-10-21
24 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