Michael McGuigan from Brookhaven was brave enough to supplement the ideas about the
cosmological constant seesaw mechanism, apparently also discussed in
Sean's blog article (although arguably in some hidden way), with dozens or hundreds of equations and interpret the cosmological constant as a squared mass term in the Wheeler-DeWitt equation. The result is here
and it is up to you to decide whether the cosmological constant problem has been solved or not.