Skip to content

Commit f95ead2

Browse files
dbsxdbsxgithub-actions[bot]
dbsxdbsx
authored and
github-actions[bot]
committed
✏️自动更新论文
1 parent 1868756 commit f95ead2

File tree

2 files changed

+99
-99
lines changed

2 files changed

+99
-99
lines changed

‎.github/ISSUE_TEMPLATE.md‎

Lines changed: 50 additions & 50 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
---
2-
title: 最新论文 - 2025年01月27日
2+
title: 最新论文 - 2025年01月28日
33
labels: documentation
44
---
5-
## 最后更新：2025-01-27 09:18
5+
## 最后更新：2025-01-28 00:06
66
**本次更新执行命令**
77
```
88
D:\a\MyAutoPapers\MyAutoPapers\target\release\my_auto_papers.exe --keywords=
@@ -140,39 +140,39 @@ D:\a\MyAutoPapers\MyAutoPapers\target\release\my_auto_papers.exe --keywords=
140140
### 8. speech recognition
141141
| **序号** | **标题** | **日期** |
142142
| --- | --- | --- |
143-
| **1** | **[Predicting Compact Phrasal Rewrites with Large Language Models for ASR Post Editing](http://arxiv.org/abs/2501.13831v1)** | 2025-01-23 |
144-
| **2** | **[Learning-based A Posteriori Speech Presence Probability Estimation and Applications](http://arxiv.org/abs/2501.13642v1)** | 2025-01-23 |
145-
| **3** | **[DQ-Data2vec: Decoupling Quantization for Multilingual Speech Recognition](http://arxiv.org/abs/2501.13497v1)** | 2025-01-23 |
146-
| **4** | **[OSUM: Advancing Open Speech Understanding Models with Limited Resources in Academia](http://arxiv.org/abs/2501.13306v1)** | 2025-01-23 |
147-
| **5** | **[Let SSMs be ConvNets: State-space Modeling with Optimal Tensor Contractions](http://arxiv.org/abs/2501.13230v1)** | 2025-01-22 |
148-
| **6** | **[FlanEC: Exploring Flan-T5 for Post-ASR Error Correction](http://dx.doi.org/10.1109/SLT61566.2024.10832257)** | 2025-01-22 |
149-
| **7** | **[A Domain Adaptation Framework for Speech Recognition Systems with Only Synthetic data](http://arxiv.org/abs/2501.12501v1)** | 2025-01-21 |
150-
| **8** | **[DOTA-ME-CS: Daily Oriented Text Audio-Mandarin English-Code Switching Dataset](http://arxiv.org/abs/2501.12122v1)** | 2025-01-21 |
151-
| **9** | **[PIER: A Novel Metric for Evaluating What Matters in Code-Switching](http://arxiv.org/abs/2501.09512v2)** | 2025-01-16 |
152-
| **10** | **[Interactive Cycle Model: The Linkage Combination among Automatic Speech Recognition, Large Language Models and Smart Glasses](http://arxiv.org/abs/2411.10362v3)** | 2024-11-15 |
143+
| **1** | **[FireRedASR: Open-Source Industrial-Grade Mandarin Speech Recognition Models from Encoder-Decoder to LLM Integration](http://arxiv.org/abs/2501.14350v1)** | 2025-01-24 |
144+
| **2** | **[LoCoML: A Framework for Real-World ML Inference Pipelines](http://arxiv.org/abs/2501.14165v1)** | 2025-01-24 |
145+
| **3** | **[Predicting Compact Phrasal Rewrites with Large Language Models for ASR Post Editing](http://arxiv.org/abs/2501.13831v1)** | 2025-01-23 |
146+
| **4** | **[Learning-based A Posteriori Speech Presence Probability Estimation and Applications](http://arxiv.org/abs/2501.13642v1)** | 2025-01-23 |
147+
| **5** | **[Integrating Persian Lip Reading in Surena-V Humanoid Robot for Human-Robot Interaction](http://arxiv.org/abs/2501.13996v1)** | 2025-01-23 |
148+
| **6** | **[DQ-Data2vec: Decoupling Quantization for Multilingual Speech Recognition](http://arxiv.org/abs/2501.13497v1)** | 2025-01-23 |
149+
| **7** | **[OSUM: Advancing Open Speech Understanding Models with Limited Resources in Academia](http://arxiv.org/abs/2501.13306v1)** | 2025-01-23 |
150+
| **8** | **[Let SSMs be ConvNets: State-space Modeling with Optimal Tensor Contractions](http://arxiv.org/abs/2501.13230v1)** | 2025-01-22 |
151+
| **9** | **[Interactive Cycle Model: The Linkage Combination among Automatic Speech Recognition, Large Language Models and Smart Glasses](http://arxiv.org/abs/2411.10362v3)** | 2024-11-15 |
152+
| **10** | **[Recording for Eyes, Not Echoing to Ears: Contextualized Spoken-to-Written Conversion of ASR Transcripts](http://arxiv.org/abs/2408.09688v4)** | 2024-08-19 |
153153
### 9. zero shot tracking/few shot tracking/pose tracking/pose estimation
154154
| **序号** | **标题** | **日期** |
155155
| --- | --- | --- |
156-
| **1** | **[Fast3R: Towards 3D Reconstruction of 1000+ Images in One Forward Pass](http://arxiv.org/abs/2501.13928v1)** | 2025-01-23 |
157-
| **2** | **[EgoHand: Ego-centric Hand Pose Estimation and Gesture Recognition with Head-mounted Millimeter-wave Radar and IMUs](http://arxiv.org/abs/2501.13805v1)** | 2025-01-23 |
158-
| **3** | **[VIGS SLAM: IMU-based Large-Scale 3D Gaussian Splatting SLAM](http://arxiv.org/abs/2501.13402v1)** | 2025-01-23 |
159-
| **4** | **[Deep Learning-Based Image Recovery and Pose Estimation for Resident Space Objects](http://arxiv.org/abs/2501.13009v1)** | 2025-01-22 |
160-
| **5** | **[BlanketGen2-Fit3D: Synthetic Blanket Augmentation Towards Improving Real-World In-Bed Blanket Occluded Human Pose Estimation](http://arxiv.org/abs/2501.12318v1)** | 2025-01-21 |
161-
| **6** | **[Refinement Module based on Parse Graph of Feature Map for Human Pose Estimation](http://arxiv.org/abs/2501.11069v1)** | 2025-01-19 |
162-
| **7** | **[Towards Robust and Realistic Human Pose Estimation via WiFi Signals](http://arxiv.org/abs/2501.09411v2)** | 2025-01-16 |
163-
| **8** | **[OmniManip: Towards General Robotic Manipulation via Object-Centric Interaction Primitives as Spatial Constraints](http://arxiv.org/abs/2501.03841v1)** | 2025-01-07 |
164-
| **9** | **[WorldPose: A World Cup Dataset for Global 3D Human Pose Estimation](http://arxiv.org/abs/2501.02771v2)** | 2025-01-06 |
165-
| **10** | **[NormalFlow: Fast, Robust, and Accurate Contact-based Object 6DoF Pose Tracking with Vision-based Tactile Sensors](http://dx.doi.org/10.1109/LRA.2024.3505815)** | 2024-12-12 |
166-
| **11** | **[Learning Whole-Body Loco-Manipulation for Omni-Directional Task Space Pose Tracking with a Wheeled-Quadrupedal-Manipulator](http://arxiv.org/abs/2412.03012v1)** | 2024-12-04 |
167-
| **12** | **[GSGTrack: Gaussian Splatting-Guided Object Pose Tracking from RGB Videos](http://arxiv.org/abs/2412.02267v1)** | 2024-12-03 |
168-
| **13** | **[6DOPE-GS: Online 6D Object Pose Estimation using Gaussian Splatting](http://arxiv.org/abs/2412.01543v1)** | 2024-12-02 |
169-
| **14** | **[G3Flow: Generative 3D Semantic Flow for Pose-aware and Generalizable Object Manipulation](http://arxiv.org/abs/2411.18369v1)** | 2024-11-27 |
170-
| **15** | **[Graph Optimality-Aware Stochastic LiDAR Bundle Adjustment with Progressive Spatial Smoothing](http://arxiv.org/abs/2410.14565v2)** | 2024-10-18 |
171-
| **16** | **[ESVO2: Direct Visual-Inertial Odometry with Stereo Event Cameras](http://arxiv.org/abs/2410.09374v2)** | 2024-10-12 |
172-
| **17** | **[A Certifiable Algorithm for Simultaneous Shape Estimation and Object Tracking](http://dx.doi.org/10.1109/LRA.2024.3501684)** | 2024-06-24 |
173-
| **18** | **[HO-Cap: A Capture System and Dataset for 3D Reconstruction and Pose Tracking of Hand-Object Interaction](http://arxiv.org/abs/2406.06843v3)** | 2024-06-10 |
174-
| **19** | **[Matching Anything by Segmenting Anything](http://arxiv.org/abs/2406.04221v1)** | 2024-06-06 |
175-
| **20** | **[Application-driven Validation of Posteriors in Inverse Problems](http://arxiv.org/abs/2309.09764v2)** | 2023-09-18 |
156+
| **1** | **[Optimizing Grasping Precision for Industrial Pick-and-Place Tasks Through a Novel Visual Servoing Approach](http://arxiv.org/abs/2501.14557v1)** | 2025-01-24 |
157+
| **2** | **[LiDAR-Based Vehicle Detection and Tracking for Autonomous Racing](http://arxiv.org/abs/2501.14502v1)** | 2025-01-24 |
158+
| **3** | **[Optimizing Human Pose Estimation Through Focused Human and Joint Regions](http://arxiv.org/abs/2501.14439v1)** | 2025-01-24 |
159+
| **4** | **[Causal-Inspired Multitask Learning for Video-Based Human Pose Estimation](http://arxiv.org/abs/2501.14356v1)** | 2025-01-24 |
160+
| **5** | **[HAMMER: Heterogeneous, Multi-Robot Semantic Gaussian Splatting](http://arxiv.org/abs/2501.14147v1)** | 2025-01-24 |
161+
| **6** | **[Fast3R: Towards 3D Reconstruction of 1000+ Images in One Forward Pass](http://arxiv.org/abs/2501.13928v1)** | 2025-01-23 |
162+
| **7** | **[EgoHand: Ego-centric Hand Pose Estimation and Gesture Recognition with Head-mounted Millimeter-wave Radar and IMUs](http://arxiv.org/abs/2501.13805v1)** | 2025-01-23 |
163+
| **8** | **[VIGS SLAM: IMU-based Large-Scale 3D Gaussian Splatting SLAM](http://arxiv.org/abs/2501.13402v1)** | 2025-01-23 |
164+
| **9** | **[Deep Learning-Based Image Recovery and Pose Estimation for Resident Space Objects](http://arxiv.org/abs/2501.13009v1)** | 2025-01-22 |
165+
| **10** | **[OmniManip: Towards General Robotic Manipulation via Object-Centric Interaction Primitives as Spatial Constraints](http://arxiv.org/abs/2501.03841v1)** | 2025-01-07 |
166+
| **11** | **[NormalFlow: Fast, Robust, and Accurate Contact-based Object 6DoF Pose Tracking with Vision-based Tactile Sensors](http://dx.doi.org/10.1109/LRA.2024.3505815)** | 2024-12-12 |
167+
| **12** | **[Learning Whole-Body Loco-Manipulation for Omni-Directional Task Space Pose Tracking with a Wheeled-Quadrupedal-Manipulator](http://arxiv.org/abs/2412.03012v1)** | 2024-12-04 |
168+
| **13** | **[GSGTrack: Gaussian Splatting-Guided Object Pose Tracking from RGB Videos](http://arxiv.org/abs/2412.02267v1)** | 2024-12-03 |
169+
| **14** | **[6DOPE-GS: Online 6D Object Pose Estimation using Gaussian Splatting](http://arxiv.org/abs/2412.01543v1)** | 2024-12-02 |
170+
| **15** | **[G3Flow: Generative 3D Semantic Flow for Pose-aware and Generalizable Object Manipulation](http://arxiv.org/abs/2411.18369v1)** | 2024-11-27 |
171+
| **16** | **[Graph Optimality-Aware Stochastic LiDAR Bundle Adjustment with Progressive Spatial Smoothing](http://arxiv.org/abs/2410.14565v2)** | 2024-10-18 |
172+
| **17** | **[ESVO2: Direct Visual-Inertial Odometry with Stereo Event Cameras](http://arxiv.org/abs/2410.09374v2)** | 2024-10-12 |
173+
| **18** | **[A Certifiable Algorithm for Simultaneous Shape Estimation and Object Tracking](http://dx.doi.org/10.1109/LRA.2024.3501684)** | 2024-06-24 |
174+
| **19** | **[HO-Cap: A Capture System and Dataset for 3D Reconstruction and Pose Tracking of Hand-Object Interaction](http://arxiv.org/abs/2406.06843v3)** | 2024-06-10 |
175+
| **20** | **[Matching Anything by Segmenting Anything](http://arxiv.org/abs/2406.04221v1)** | 2024-06-06 |
176176
| **21** | **[Robust Lifelong Indoor LiDAR Localization using the Area Graph](http://dx.doi.org/10.1109/LRA.2023.3334158)** | 2023-08-10 |
177177
| **22** | **[Multi-Scale Memory Comparison for Zero-/Few-Shot Anomaly Detection](http://arxiv.org/abs/2308.04789v2)** | 2023-08-09 |
178178
| **23** | **[Zero-Shot Anomaly Detection with Pre-trained Segmentation Models](http://arxiv.org/abs/2306.09269v1)** | 2023-06-15 |
@@ -226,24 +226,24 @@ D:\a\MyAutoPapers\MyAutoPapers\target\release\my_auto_papers.exe --keywords=
226226
### 12. automated theorem proving/interactive theorem proving/formal verification
227227
| **序号** | **标题** | **日期** |
228228
| --- | --- | --- |
229-
| **1** | **[Temporal Logic Guided Safe Navigation for Autonomous Vehicles](http://arxiv.org/abs/2501.13817v1)** | 2025-01-23 |
230-
| **2** | **[Fixed Point Certificates for Reachability and Expected Rewards in MDPs](http://arxiv.org/abs/2501.11467v1)** | 2025-01-20 |
231-
| **3** | **[Addressing Network Packet-based Cheats in Multiplayer Games: A Secret Sharing Approach](http://arxiv.org/abs/2501.10881v1)** | 2025-01-18 |
232-
| **4** | **[Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery](http://arxiv.org/abs/2501.08670v1)** | 2025-01-15 |
233-
| **5** | **[Quantifying the Importance of Data Alignment in Downstream Model Performance](http://arxiv.org/abs/2501.08496v2)** | 2025-01-14 |
234-
| **6** | **[Technical Report: Exploring Automatic Model-Checking of the Ethereum specification](http://arxiv.org/abs/2501.07958v2)** | 2025-01-14 |
235-
| **7** | **[HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving](http://arxiv.org/abs/2412.20735v2)** | 2024-12-30 |
236-
| **8** | **[WithdrarXiv: A Large-Scale Dataset for Retraction Study](http://arxiv.org/abs/2412.03775v1)** | 2024-12-04 |
237-
| **9** | **[Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs](http://arxiv.org/abs/2411.16348v2)** | 2024-11-25 |
238-
| **10** | **[Learning Rules Explaining Interactive Theorem Proving Tactic Prediction](http://arxiv.org/abs/2411.01188v1)** | 2024-11-02 |
239-
| **11** | **[InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems](http://arxiv.org/abs/2410.15700v1)** | 2024-10-21 |
240-
| **12** | **[Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)](http://dx.doi.org/10.1007/978-3-031-63498-7_6)** | 2024-10-18 |
241-
| **13** | **[Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites](http://dx.doi.org/10.1109/TELFOR63250.2024.10819039)** | 2024-10-17 |
242-
| **14** | **[Revealed Invariant Preference](http://arxiv.org/abs/2408.04573v1)** | 2024-08-08 |
243-
| **15** | **[Artifical intelligence and inherent mathematical difficulty](http://arxiv.org/abs/2408.03345v1)** | 2024-08-01 |
244-
| **16** | **[Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent](http://arxiv.org/abs/2407.14521v1)** | 2024-07-05 |
245-
| **17** | **[miniCodeProps: a Minimal Benchmark for Proving Code Properties](http://arxiv.org/abs/2406.11915v2)** | 2024-06-16 |
246-
| **18** | **[Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving](http://arxiv.org/abs/2404.07382v3)** | 2024-04-10 |
229+
| **1** | **[Scalable and Explainable Verification of Image-based Neural Network Controllers for Autonomous Vehicles](http://arxiv.org/abs/2501.14009v1)** | 2025-01-23 |
230+
| **2** | **[Temporal Logic Guided Safe Navigation for Autonomous Vehicles](http://arxiv.org/abs/2501.13817v1)** | 2025-01-23 |
231+
| **3** | **[Fixed Point Certificates for Reachability and Expected Rewards in MDPs](http://arxiv.org/abs/2501.11467v1)** | 2025-01-20 |
232+
| **4** | **[Quantifying the Importance of Data Alignment in Downstream Model Performance](http://arxiv.org/abs/2501.08496v2)** | 2025-01-14 |
233+
| **5** | **[HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving](http://arxiv.org/abs/2412.20735v2)** | 2024-12-30 |
234+
| **6** | **[Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification](http://arxiv.org/abs/2412.14063v2)** | 2024-12-18 |
235+
| **7** | **[WithdrarXiv: A Large-Scale Dataset for Retraction Study](http://arxiv.org/abs/2412.03775v1)** | 2024-12-04 |
236+
| **8** | **[Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs](http://arxiv.org/abs/2411.16348v2)** | 2024-11-25 |
237+
| **9** | **[Learning Rules Explaining Interactive Theorem Proving Tactic Prediction](http://arxiv.org/abs/2411.01188v1)** | 2024-11-02 |
238+
| **10** | **[InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems](http://arxiv.org/abs/2410.15700v1)** | 2024-10-21 |
239+
| **11** | **[Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)](http://dx.doi.org/10.1007/978-3-031-63498-7_6)** | 2024-10-18 |
240+
| **12** | **[Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites](http://dx.doi.org/10.1109/TELFOR63250.2024.10819039)** | 2024-10-17 |
241+
| **13** | **[Revealed Invariant Preference](http://arxiv.org/abs/2408.04573v1)** | 2024-08-08 |
242+
| **14** | **[Artifical intelligence and inherent mathematical difficulty](http://arxiv.org/abs/2408.03345v1)** | 2024-08-01 |
243+
| **15** | **[Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent](http://arxiv.org/abs/2407.14521v1)** | 2024-07-05 |
244+
| **16** | **[miniCodeProps: a Minimal Benchmark for Proving Code Properties](http://arxiv.org/abs/2406.11915v2)** | 2024-06-16 |
245+
| **17** | **[Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving](http://arxiv.org/abs/2404.07382v3)** | 2024-04-10 |
246+
| **18** | **[NLP Verification: Towards a General Methodology for Certifying Robustness](http://arxiv.org/abs/2403.10144v3)** | 2024-03-15 |
247247
| **19** | **[BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving](http://arxiv.org/abs/2403.03401v1)** | 2024-03-06 |
248248
| **20** | **[Trocq: Proof Transfer for Free, With or Without Univalence](http://arxiv.org/abs/2310.14022v2)** | 2023-10-21 |
249249
| **21** | **[Lyra: Orchestrating Dual Correction in Automated Theorem Proving](http://arxiv.org/abs/2309.15806v4)** | 2023-09-27 |

0 commit comments

Comments
 (0)