Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories

1 code implementation • COLING 2022 • Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu

Open-source platforms such as GitHub and Stack Overflow both play significant roles in current software ecosystems.

Information Retrieval Retrieval

Guided Diffusion Model for Adversarial Purification

2 code implementations • 30 May 2022 • Jinyi Wang, Zhaoyang Lyu, Dahua Lin, Bo Dai, Hongfei Fu

In this paper, we propose a novel purification approach, referred to as guided diffusion model for purification (GDMP), to help protect classifiers from adversarial attacks.

Denoising

Computational Approaches for Stochastic Shortest Path on Succinct MDPs

no code implementations • 24 Apr 2018 • Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati

We consider the stochastic shortest path (SSP) problem for succinct Markov decision processes (MDPs), where the MDP consists of a set of variables, and a set of nondeterministic rules that update the variables.

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

no code implementations • 28 Oct 2015 • Krishnendu Chatterjee, Hongfei Fu, Petr Novotny, Rouzbeh Hasheminezhad

Firstly, we show that the membership problem of LRAPP (i) can be decided in polynomial time for APP's with at most demonic non-determinism, and (ii) is NP-hard and in PSPACE for APP's with angelic non-determinism; moreover, the NP-hardness result holds already for APP's without probability and demonic non-determinism.

Logic in Computer Science Programming Languages D.2.4