84 citations · 154 across the 12 of their papers we have counts for
12 papers
Enhancing SCF with Privacy-Preserving and Splitting-Enabled E-Bills on Blockchain
Hao Yang, Jie Fu, Zhili Cheng +1
Electronic Bill (E-Bill) is a rucial negotiable instrument in the form of data messages, relying on the Electronic Bill System (EB System). Blockchain technology offers inherent da…
Greener yet Powerful: Taming Large Code Generation Models with Quantization
Xiaokai Wei, Sujan Gonugondla, Wasi Ahmad +13
ML-powered code generation aims to assist developers to write code in a more productive manner, by intelligently generating code blocks based on natural language prompts. Recently,…
Parameters of several families of binary duadic codes and their related codes
Hai Liu, Chengju Li, Haifeng Qian
Binary duadic codes are an interesting subclass of cyclic codes since they have large dimensions and their minimum distances may have a square-root bound. In this paper, we present…
ReCode: Robustness Evaluation of Code Generation Models
Shiqi Wang, Zheng Li, Haifeng Qian +11
Code generation models have achieved impressive performance. However, they tend to be brittle as slight edits to a prompt could lead to very different generations; these robustness…
Multi-lingual Evaluation of Code Generation Models
Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang +22
We present new benchmarks on evaluation code generation models: MBXP and Multilingual HumanEval, and MathQA-X. These datasets cover over 10 programming languages and are generated…
Logical Credal Networks
Haifeng Qian, Radu Marinescu, Alexander Gray +5
This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. Given imprecise information…
An Ensemble Approach Towards Adversarial Robustness
Haifeng Qian
It is a known phenomenon that adversarial robustness comes at a cost to natural accuracy. To improve this trade-off, this paper proposes an ensemble approach that divides a complex…
Logical Neural Networks
Ryan Riegel, Alexander Gray, Francois Luus +12
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a compon…
Neural Belief Reasoner
Haifeng Qian
This paper proposes a new generative model called neural belief reasoner (NBR). It differs from previous models in that it specifies a belief function rather than a probability dis…
L2-Nonexpansive Neural Networks
Haifeng Qian, Mark N. Wegman
This paper proposes a class of well-conditioned neural networks in which a unit amount of change in the inputs causes at most a unit amount of change in the outputs or any of the i…
A Proximity Measure using Blink Model
Haifeng Qian, Hui Wan, Mark N. Wegman +2
This paper proposes a new graph proximity measure. This measure is a derivative of network reliability. By analyzing its properties and comparing it against other proximity measure…
Stochastic Preconditioning for Iterative Linear Equation Solvers
Haifeng Qian, Sachin S. Sapatnekar
This paper presents a new stochastic preconditioning approach. For symmetric diagonally-dominant M-matrices, we prove that an incomplete LDL factorization can be obtained from rand…