GitHub

ProverGen: A Framework for First-Order Logic Reasoning Dataset Generation

ProverGen is a novel framework that synergizes the generative strengths of Large Language Models (LLMs) with the rigor and precision of symbolic provers to create scalable, diverse, and high-quality ...
IEEE

Python Source Code Vulnerability Detection Based on CodeBERT Language Model

Abstract: Programming language source code vulnerability mining is crucial to improving the security of software systems, but current research is mostly focused on the C language field, with little ...
IEEE

Wallace Tree Multiplier Using Reversible Logic With Brent-Kung Adder

Abstract: The design and implementation of a Brent-Kung adder using reversible logic to produce a high-speed signed Wallace Tree Multiplier. The Wallace Tree Multiplier is well- known because of its ...
GitHub

A Python Package for Tree Instance Segmentation in 3D Point Clouds.

TreeXAlgorithm - Burmeister, Josafat-Mattias, Tockner, Andreas, Reder, Stefan, Engel, Markus, Richter, Rico, Mund, Jan-Peter, & Döllner, Jürgen (2025). "treeX ...