Jingren Wang

Jingren Wang

He/Him

Logic Synthesis Engineer

Talks and presentations

Logical Neural Networks

October 11, 2025

Logical Neural Networks, First Order Logic, Neural Symbolic AI, Microelectronics Thrust, Function Hub, HKUST(GZ), Guangzhou, Guangdong, China

This talk is a presentation for MICS6001: Symbolic and Neurosymbolic Reasoning. You could fetch the related paper here.
Logical Neural Network(LNN) is developed by IBM, which is one of the core engine of their Neurosymblic Tookit. This presentation gives a high level overview of what LNN is and what’s happening under the hood. The key differences compared with classical Markov Neural Network. At the end, a quickstart live demo will help audience get familiar with how to use it in Python.
Check the talk slides here.

Logic synthesis in a nutshell

May 07, 2025

Logic synthesis, Microelectronics Thrust, Function Hub, HKUST(GZ), Guangzhou, Guangdong, China

Logic synthesis performs optimization on given network, in this talk, we are concentrating on technology independent, combinational logic synthesis, and illustrate the basic ideas on various intermediate representation and the features they have. Show why these basic concepts are more important than algorithms and what else can we do with them.
Check the talk slides here.