Git Product home page Git Product logo

gy-hu / ml4pdr Goto Github PK

View Code? Open in Web Editor NEW
3.0 3.0 3.0 92.52 MB

NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023)

Python 4.70% C 4.38% Makefile 0.65% Shell 0.66% Java 0.04% SMT 0.71% C++ 46.82% TeX 6.29% Ruby 0.01% Dockerfile 0.01% Verilog 33.65% Tcl 0.03% SourcePawn 0.02% Lex 0.16% Yacc 0.81% SystemVerilog 0.88% Pawn 0.02% OpenSCAD 0.01% Perl 0.09% JavaScript 0.07%

ml4pdr's People

Contributors

gy-hu avatar zhanghongce avatar

Stargazers

 avatar  avatar  avatar

Watchers

 avatar  avatar

ml4pdr's Issues

Nonlinear Layers

I suggest changing this part

self.relu = nn.ReLU()

to something like this:

class MLP(nn.Module):
  def __init__(self, in_dim, hidden_dim, out_dim):
    super(MLP, self).__init__()
    self.l1 = nn.Linear(in_dim, hidden_dim)
    self.f1 = nn.ReLU()
    self.l2 = nn.Linear(hidden_dim, hidden_dim)
    self.f2 = nn.ReLU()
    self.l3 = nn.Linear(hidden_dim, out_dim)
    self.f3 = nn.Sigmoid() # between 0-1
    #TODO: Modify to non-linear version for var_state

  def forward(self, x):
    x = self.l1(x)
    x = self.f1(x)
    x = self.l2(x)
    x = self.f2(x)
    x = self.l3(x)
    output = self.f3(x)

    return output

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.