Search Results for author: Amin Alipour

Found 3 papers, 0 papers with code

CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks

no code implementations ICLR 2019 Yu Wang, Fengjuan Gao, Amin Alipour, Linzhang Wang, Xuandong Li, Zhendong Su

Boolean satisfiability (SAT) is one of the most well-known NP-complete problems and has been extensively studied.

Calibration and Correctness of Language Models for Code

no code implementations3 Feb 2024 Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed

Our contributions will lead to better-calibrated decision-making in the current use of code generated by language models, and offers a framework for future research to further improve calibration methods for generative models in Software Engineering.

Question Relatedness on Stack Overflow: The Task, Dataset, and Corpus-inspired Models

no code implementations3 May 2019 Amirreza Shirani, Bowen Xu, David Lo, Thamar Solorio, Amin Alipour

The proposed dataset Stack Overflow is a useful resource to develop novel solutions, specifically data-hungry neural network models, for the prediction of relatedness in technical community question-answering forums.

Community Question Answering Multi-class Classification

Cannot find the paper you are looking for? You can Submit a new open access paper.